summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDirk-Jan C. Binnema <djcb@djcbsoftware.nl>2018-01-25 18:53:17 +0200
committerGitHub <noreply@github.com>2018-01-25 18:53:17 +0200
commitfb94ce671a72e83522835ab568f10069e8c8d68b (patch)
tree4838acf06cf1561c948c96956fb0c99469a57136
parent97ad4baea740b704b6318c25e63e4ce1c938f950 (diff)
parenta28faf047ff981f3f36147d36c9e422e25c58f0b (diff)
Merge pull request #1181 from vsedach/master
Replace Bash-specific [[]] with POSIX sh [] in autogen.sh
-rwxr-xr-xautogen.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh
index a52f1f1..4de9c0d 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -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