diff options
Diffstat (limited to 'testsuite/tests/driver/recomp005/Makefile')
| -rw-r--r-- | testsuite/tests/driver/recomp005/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/driver/recomp005/Makefile b/testsuite/tests/driver/recomp005/Makefile new file mode 100644 index 0000000000..e1bda204b7 --- /dev/null +++ b/testsuite/tests/driver/recomp005/Makefile @@ -0,0 +1,16 @@ +TOP=../../.. +include $(TOP)/mk/boilerplate.mk +include $(TOP)/mk/test.mk + +clean: + rm -f *.o* + rm -f *.hi* + rm -f C.hs + +recomp005: clean + cp C1.hs C.hs + '$(TEST_HC)' $(TEST_HC_OPTS) --make E.hs -O + sleep 1 + cp C2.hs C.hs + # Should recompile E, because C is now an orphan + '$(TEST_HC)' $(TEST_HC_OPTS) --make E.hs -O |