diff options
| author | Dirk-Jan C. Binnema <djcb@djcbsoftware.nl> | 2018-01-25 18:53:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-25 18:53:17 +0200 |
| commit | fb94ce671a72e83522835ab568f10069e8c8d68b (patch) | |
| tree | 4838acf06cf1561c948c96956fb0c99469a57136 | |
| parent | 97ad4baea740b704b6318c25e63e4ce1c938f950 (diff) | |
| parent | a28faf047ff981f3f36147d36c9e422e25c58f0b (diff) | |
Merge pull request #1181 from vsedach/master
Replace Bash-specific [[]] with POSIX sh [] in autogen.sh
| -rwxr-xr-x | autogen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ test -f mu/mu.cc || { } command -V autoreconf > /dev/null -if [[ $? != 0 ]]; then +if [ $? != 0 ]; then echo "*** No autoreconf found, please install it ***" exit 1 fi |
