comparison osdep/gettimeofday.c @ 30796:ac94bb7f65eb

Run script with /bin/sh instead of bash. There is nothing bash-specific in this shell script.
author diego
date Thu, 04 Mar 2010 15:57:21 +0000
parents 5cfef41a1771
children f5d48f0e33c3
comparison
equal deleted inserted replaced
30795:1001c606f94c 30796:ac94bb7f65eb