Merge pull request #1181 from vsedach/master

Replace Bash-specific [[]] with POSIX sh [] in autogen.sh
This commit is contained in:
Dirk-Jan C. Binnema 2018-01-25 18:53:17 +02:00 committed by GitHub
commit fb94ce671a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -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