diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 20:07:16 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 20:07:16 +0100 |
| commit | d92cc415e7a290e6e2e1340665202cae79ad8c4a (patch) | |
| tree | 0b9272bec01dc50a662719334982702048a9c8c1 /reproduce/config | |
| parent | 05e0d68c865e7019a54a5f90d22cf765e1bd66d2 (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