diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-25 18:28:04 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-25 18:36:30 +0000 |
| commit | a60db913794a7e0563a5c3443311a955a98559f5 (patch) | |
| tree | 4f02df6c0a78f7a0c0fc44a50584b18858a0e46f /reproduce/src/make/Top-Makefile | |
| parent | 46f639963cf98d3a380a2577eb0c8f138ea451d5 (diff) | |
More generic naming convention
Until now, we were keeping the input file within the reproduction
pipeline's directories using the same name as the database/server. Now, we
are using a short/summarized filename convention for the input dataset.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions