Merge branch 'fixupnits' of https://github.com/sstewartgallus/uhc

UU-ComputerScience · Feb 4, 2014 · e085374 · e085374
2 parents 552369d + 3482118
commit e085374
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/EHC/.gitignore b/EHC/.gitignore
@@ -0,0 +1 @@
+autom4te.cache
diff --git a/EHC/configure.ac b/EHC/configure.ac
@@ -1236,7 +1236,7 @@ then
 fi
 
 echo "  MP library                    : $mplib"
-if test "$mplib" == "gmp" ; then
+if test "$mplib" = "gmp" ; then
   if test "x$gmpLibArchiveExists" = "xyes" ;then
     echo "    gmp lib archive             : $gmpLibArchive"
   else