aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/Top-Makefile
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-08-11 11:34:41 +0200
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-08-11 11:35:41 +0200
commitb42f7bdd034fbc888cf54d1d304c378592c31a8d (patch)
tree6397d7fed7a5d91b991669f3ec250dd47bb747fa /reproduce/src/make/Top-Makefile
parentf41557ad13796424692ecca525b58fd03fc9dc7a (diff)
Added bash as a dependency to be checked at configure time
While we had set the default Makefile SHELL to be bash, we weren't actually checking if `bash' is available on the system. With this commit, it is also checked at configure time.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions