diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-02-01 10:02:04 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-02-01 10:02:04 +0000 |
| commit | b9fc1c35dd8344aa78e29c6cc68acc6203ef66f8 (patch) | |
| tree | e7a3a34824120fbef57dedd125cde13e5810ab65 /.file-metadata | |
| parent | 90fc8ad3c38bbf87ca4514db456c34c2196cfce9 (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 '.file-metadata')
| -rw-r--r-- | .file-metadata | bin | 3714 -> 3714 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 392f66d..9e9f414 100644 --- a/.file-metadata +++ b/.file-metadata |