diff options
Diffstat (limited to 'testsuite/timeout/Makefile')
-rw-r--r-- | testsuite/timeout/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/timeout/Makefile b/testsuite/timeout/Makefile index 7accd59426..b9f87fe746 100644 --- a/testsuite/timeout/Makefile +++ b/testsuite/timeout/Makefile @@ -30,7 +30,7 @@ calibrate.out: # interested in clean distclean: - $(CABAL) clean + -$(CABAL) clean $(RM) -rf install-inplace $(RM) -f calibrate.out |