From 643b3d1cecb598fc0b14b760318748897a6f173f Mon Sep 17 00:00:00 2001
From: TApplencourt <tapplencourt@gmail.com>
Date: Thu, 14 Jan 2016 17:59:56 +0100
Subject: [PATCH] Add missing $

---
 install/scripts/install_ocaml.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install/scripts/install_ocaml.sh b/install/scripts/install_ocaml.sh
index 88c74be3..61583c61 100755
--- 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