path: root/reproduce/software/shell/configure.sh
diff options
authorRaul Infante-Sainz <infantesainz@gmail.com>2022-06-17 12:47:58 +0200
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2022-06-19 00:21:42 +0200
commit27ff6f7d57ebdd3d3051040b982c1976f990c6e1 (patch)
tree19c04b7503ae3ccd72e309eaedec0fadc0c59891 /reproduce/software/shell/configure.sh
parent23783ae38b3ae9ed768d3383eb2d56cc31ea8b20 (diff)
Initialize: including *.conf files from the preparation phase
Until now, when some configuration files were generated in the preparation phase, only the auto-generated (in the preparation phase) Makefiles (with the suffix '*.mk') were always included in 'initialize.mk'. As a consequence, if there were any configuration files (with suffix '*.conf'), they would not be automatically added, and it was necessary to manually include them. Since auto-generated configuration files are also one common output of the preparation phase of a project, it is better to include them automatically. With this commit, the '*.conf' configuration files generated in the preparation phase are added by 'initialize.mk' automatically (if necessary). In the process, the comments in the final target of 'reproduce/analysis/make/prepare.mk' were updated to be more clear.
Diffstat (limited to 'reproduce/software/shell/configure.sh')
0 files changed, 0 insertions, 0 deletions