1 # make sure redo doesn't think merely *reading* the old file counts as
2 # modifying it in-place.
3 cat $1 >/dev/null 2>/dev/null || true
4 perl -mTime::HiRes -e '
5 $t2 = 1 + int(Time::HiRes::time());
7 $t = Time::HiRes::time();
9 sleep($t2 - $t + 0.01);
12 cat $1 >/dev/null 2>/dev/null || true