aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config/pipeline/LOCAL.mk.in
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-02-01 10:02:04 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-02-01 10:02:04 +0000
commitb9fc1c35dd8344aa78e29c6cc68acc6203ef66f8 (patch)
treee7a3a34824120fbef57dedd125cde13e5810ab65 /reproduce/config/pipeline/LOCAL.mk.in
parent90fc8ad3c38bbf87ca4514db456c34c2196cfce9 (diff)
Configure script now runs under /bin/bash
Until now it was `/bin/sh', but on Debian systems, this can cause problems because by default they use a much weaker shell (dash) which doesn't recognize functions.
Diffstat (limited to 'reproduce/config/pipeline/LOCAL.mk.in')
0 files changed, 0 insertions, 0 deletions