aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/Top-Makefile
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-25 16:26:29 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-25 16:26:29 +0000
commit46f639963cf98d3a380a2577eb0c8f138ea451d5 (patch)
tree400b9640f351549158be12388d3409fb1d624a31 /reproduce/src/make/Top-Makefile
parent544752fe2d74da658c94e43cfc45506d17c7d1bb (diff)
Removed mention of extra input dataset in configure script
While preparing the input dataset downloading scripts, we wanted to have two input datasets, but it was too much, so it was ultimately removed. But I had forgot to remove the information about this file in the `./configure' script. So it is removed now.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions