aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 20:07:16 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-02-15 20:07:16 +0100
commitd92cc415e7a290e6e2e1340665202cae79ad8c4a (patch)
tree0b9272bec01dc50a662719334982702048a9c8c1 /reproduce/config
parent05e0d68c865e7019a54a5f90d22cf765e1bd66d2 (diff)
Configure script starts with bin/bash shebang
While trying the pipeline on a remote server (which runs on Debian), the configure script had an `Syntax error: "(" unexpected' error. This is caused by the fact that in the Debian world (and its derivate OSs), the default shell is not Bash but Dash which has much fewer features for fast loading. It was thus necessary to start the configure script explicity with the `/bin/bash' shebang.
Diffstat (limited to 'reproduce/config')
0 files changed, 0 insertions, 0 deletions