diff options
Diffstat (limited to 'testsuite/tests/driver')
| -rw-r--r-- | testsuite/tests/driver/recomp001/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/driver/recomp001/Makefile b/testsuite/tests/driver/recomp001/Makefile index a592534703..d99ab8966f 100644 --- a/testsuite/tests/driver/recomp001/Makefile +++ b/testsuite/tests/driver/recomp001/Makefile @@ -14,8 +14,8 @@ clean: recomp001: clean cp B1.hs B.hs '$(TEST_HC)' $(TEST_HC_OPTS) --make -v0 C.hs + sleep 1 cp B2.hs B.hs # Operating systems with poor timer resolution (e.g. Darwin) need a bit # of time here, lest GHC not realize that the file changed. - sleep 1 -'$(TEST_HC)' $(TEST_HC_OPTS) --make -v0 C.hs |