diff options
-rw-r--r-- | test/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/Makefile b/test/Makefile index 8d1a5e8..0517684 100644 --- a/test/Makefile +++ b/test/Makefile @@ -46,6 +46,8 @@ endif ifeq ($(shell touch a; sleep 0.01; touch b; sleep 0.01; touch c; test c -nt b -a b -nt a; echo $$?; rm a b c),1) SLEEP = sleep 1 +else ifeq ($(shell touch a; touch b; touch c; test c -nt b -a b -nt a; echo $$?; rm a b c),1) +SLEEP = sleep 0.01 else SLEEP = endif |