diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-18 00:57:43 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-18 00:57:43 +0000 |
| commit | 4483a81c4254596dd2fa977e7a2faf6f28a7ac6f (patch) | |
| tree | 1150c399a436c0ef1c44d4f1673b6c85e1eaff4c /reproduce/analysis/make/top-make.mk | |
| parent | 0c120cbc1575675f96a99703af28a45d8adda2db (diff) | |
First set of customizations done
The unnecessary parts were removed and the project now runs.
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 0292d3c..acbbafa 100644 --- a/reproduce/analysis/make/top-make.mk +++ b/reproduce/analysis/make/top-make.mk @@ -112,7 +112,6 @@ endif # wild-card like the configuration Makefiles). makesrc = initialize \ download \ - delete-me \ verify \ paper |