diff options
Diffstat (limited to 'testcase/ninja_regen_glob.sh')
| -rwxr-xr-x | testcase/ninja_regen_glob.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/testcase/ninja_regen_glob.sh b/testcase/ninja_regen_glob.sh index 71dca29..ae73c9b 100755 --- a/testcase/ninja_regen_glob.sh +++ b/testcase/ninja_regen_glob.sh @@ -19,12 +19,6 @@ set -e log=/tmp/log mk="$@" -sleep_if_necessary() { - if [ x$(uname) != x"Linux" -o x"${TRAVIS}" != x"" ]; then - sleep "$@" - fi -} - touch xe.mk yc.mk xa.mk yb.mk xd.mk cat <<EOF > Makefile |