diff options
Diffstat (limited to 'testsuite/tests/th/Makefile')
| -rw-r--r-- | testsuite/tests/th/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/tests/th/Makefile b/testsuite/tests/th/Makefile index 97692391c0..bdb49dbf09 100644 --- a/testsuite/tests/th/Makefile +++ b/testsuite/tests/th/Makefile @@ -29,10 +29,8 @@ TH_Depends: # Remove the executable, as GHC won't relink if the timestamps seem to # be the same $(RM) TH_Depends TH_Depends.exe + sleep 2 echo "second run" > TH_Depends_external.txt -# Give TH_Depends_external.txt a future date in case it gets the same -# timestamp again - touch --date="now + 3 seconds" TH_Depends_external.txt '$(TEST_HC)' $(TEST_HC_OPTS) --make -v0 TH_Depends ./TH_Depends |