diff options
Diffstat (limited to 'reproduce/analysis/make/top-make.mk')
-rw-r--r-- | reproduce/analysis/make/top-make.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/reproduce/analysis/make/top-make.mk b/reproduce/analysis/make/top-make.mk index 4e95c54..d6e3822 100644 --- a/reproduce/analysis/make/top-make.mk +++ b/reproduce/analysis/make/top-make.mk @@ -111,7 +111,6 @@ endif # the same order that they are defined here (we aren't just using a # wild-card like the configuration Makefiles). makesrc = initialize \ - download \ delete-me \ verify \ paper |