Add missing $

2016-01-14 17:59:56 +01:00 · 2016-01-14 17:59:56 +01:00 · 643b3d1cec
parent 63315d459c
commit 643b3d1cec
1 changed files with 2 additions and 2 deletions
--- a/install/scripts/install_ocaml.sh
+++ b/install/scripts/install_ocaml.sh
@ -47,8 +47,8 @@ check_version () {

 i=$(gcc -dumpversion)

-check_version i 4.6
-if [[ $? -ne 0 ]]
+check_version 4.6 $i 
+if [[ $? == 1 ]]
 then
   echo "GCC version $(gcc -dumpversion) too old. GCC >= 4.6 required."
   exit 1