diff options
-rw-r--r-- | squeezing_filter/Makefile | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/squeezing_filter/Makefile b/squeezing_filter/Makefile index 0a84c81..1cfd0de 100644 --- a/squeezing_filter/Makefile +++ b/squeezing_filter/Makefile @@ -17,7 +17,8 @@ problems: problems_prepared.stamp tasks: @mkdir tasks -problems_prepared.stamp: tasks tasks_builder.m +problems_prepared.stamp: tasks_builder.m + @rm -f tasks/* @./tasks_builder.m @touch $@ @echo "Please run again: make calculate" @@ -25,11 +26,17 @@ problems_prepared.stamp: tasks tasks_builder.m $(RESULTS): results/% : tasks/% ./task_solver.m $< $@ -clean: +tasks_clean: + rm -rf tasks/* + +results_clean: + rm -rf results/* + +clean: tasks_clean results_clean rm -f problems_prepared.stamp - rm -rf tasks - rm -rf results real_clean: + rm -rf tasks + rm -rf results rm -rf L0m.cache |