diff options
Diffstat (limited to 'faraday/Makefile')
-rw-r--r-- | faraday/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/faraday/Makefile b/faraday/Makefile index 2e68bf4..0a84c81 100644 --- a/faraday/Makefile +++ b/faraday/Makefile @@ -26,6 +26,7 @@ $(RESULTS): results/% : tasks/% ./task_solver.m $< $@ clean: + rm -f problems_prepared.stamp rm -rf tasks rm -rf results |