aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2015-09-13 18:57:44 +0200
committerTristan Gingold <tgingold@free.fr>2015-09-13 18:57:44 +0200
commit98ebbb21cd95cc467ddee8efd0de2cfc5a515180 (patch)
tree9ed2d7d9750d0a177c1c4727e269dd5c2c137d33 /configure
parentc482e6d0442212415c787676f6ffd4e38e8ffa74 (diff)
downloadghdl-98ebbb21cd95cc467ddee8efd0de2cfc5a515180.tar.gz
ghdl-98ebbb21cd95cc467ddee8efd0de2cfc5a515180.tar.bz2
ghdl-98ebbb21cd95cc467ddee8efd0de2cfc5a515180.zip
configure: remove bash-ism.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure8
1 files changed, 6 insertions, 2 deletions
diff --git a/configure b/configure
index 333ea472e..4b6b6bf24 100755
--- a/configure
+++ b/configure
@@ -45,11 +45,15 @@ llvm_version=`grep '^llvm version' $srcdir/README |
sed -e 's/llvm version \([0-9.]*\) \[.*\]\.$/\1/'`
# Check $1 is a prefix of $2
-function check_version()
+check_version()
{
exp_ver=`echo $1 | sed 's/\./v/g'`
tool_ver=`echo $2 | sed 's/\./v/g'`
- echo $tool_ver | grep -q "^$exp_ver"
+ if echo $tool_ver | grep -q "^$exp_ver"; then
+ return 0
+ else
+ return 1
+ fi
}
# Decode options