annotate zipfiles/diff.sh @ 251:d3a5d1929ad2

Wall-clock time limit is now enforced before handling CPU times on Win32 too
author Oleg Oshmyan <chortos@inbox.lv>
date Sun, 19 Jan 2014 01:21:22 +0000
parents 6e6b0ea63fa1
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
192
6e6b0ea63fa1 Added zipfiles/diff.sh to the repository
Oleg Oshmyan <chortos@inbox.lv>
parents:
diff changeset
1 #!/bin/sh
6e6b0ea63fa1 Added zipfiles/diff.sh to the repository
Oleg Oshmyan <chortos@inbox.lv>
parents:
diff changeset
2 exec diff -F'^ *[cd][le][af]' "$@"