diff osdep/gettimeofday.c @ 27197:88fc90468b89

Replace bash-specific [[]] construct by a proper [] test.
author diego
date Mon, 07 Jul 2008 06:47:01 +0000
parents 936209c39ed1
children 5cfef41a1771
line wrap: on
line diff