diff options
Diffstat (limited to 'reproduce/analysis/make/top-make.mk')
-rw-r--r-- | reproduce/analysis/make/top-make.mk | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/reproduce/analysis/make/top-make.mk b/reproduce/analysis/make/top-make.mk index 6dd322f..000c1fd 100644 --- a/reproduce/analysis/make/top-make.mk +++ b/reproduce/analysis/make/top-make.mk @@ -112,8 +112,9 @@ endif # wild-card like the configuration Makefiles). makesrc = initialize \ download \ + format \ + demo-plot \ verify \ - analysis-1 \ paper @@ -132,5 +133,5 @@ makesrc = initialize \ # But before that, we need to identify the phase for the Makefiles that are # run both in `./project prepare' and `./project make'. project-phase = make -include reproduce/analysis/config/*.mk +include reproduce/analysis/config/*.conf include $(foreach s,$(makesrc), reproduce/analysis/make/$(s).mk) |