aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/make/basic.mk
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-05-09 16:06:09 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-05-09 16:06:09 +0100
commitd53692170b005c24bcaf73962cb8a13a26b599ef (patch)
tree840c43ded212d73f8de31b4880dafc6b8bf0b796 /reproduce/software/make/basic.mk
parent0dd3569305596284ab8c168874e3c25faad0ef05 (diff)
download-multi-try now starts with a /bin/bash shebang
Until now, the `download-multi-try' script assumed GNU Bash features (when comparing the number of attempts at downloading), but it didn't explicitly ask the operating system to be run with Bash. As a result, when weaker shells were used (like the default Debian minimalist `dash' shell), the `>' ("larger than" operator in a math context) is interpreted a redirection and two extra files are created: `1' and `maxcount'! With this commit, we now start this script with `/bin/bash'. Ofcourse, this will assume that the host has GNU Bash installed, but we are also making this assumption in the configure script. So atleast for now, Bash (any version) is a critical dependency of this template anyway.
Diffstat (limited to 'reproduce/software/make/basic.mk')
0 files changed, 0 insertions, 0 deletions