From 1e5d35f3867744a5c793985a9a31cdd6149750b7 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 9 Jan 2014 16:48:21 -0500
Subject: [PATCH] gmp is again default, not cln, for build ID (reverting due to
 license discussion at Monday meeting)

---
 config/build-type | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/config/build-type b/config/build-type
index f5ea50bde..1ef9191f7 100755
--- a/config/build-type
+++ b/config/build-type
@@ -31,7 +31,7 @@
 #   profiling
 #
 # Also you can specify "cln" or "gmp".  If "gmp", the build dir
-# contains the string "gmp".  (cln is considered the default.)
+# contains the string "gmp".  (gmp is considered the default.)
 #
 # Also for glpk.
 #
@@ -46,8 +46,8 @@ shift
 
 while [ $# -gt 0 ]; do
   case "$1" in
-    cln) ;;
-    gmp) gmp=1 ;;
+    cln) cln=1 ;;
+    gmp) ;;
     no*) eval `expr "$1" : 'no\(.*\)'`=0 ;;
     *)   eval $1=1 ;;
   esac
@@ -55,7 +55,7 @@ while [ $# -gt 0 ]; do
 done
 
 build_type_suffix=
-for arg in gmp glpk staticbinary optimized proof debugsymbols statistics replay assertions tracing muzzle coverage profiling; do
+for arg in cln glpk staticbinary optimized proof debugsymbols statistics replay assertions tracing muzzle coverage profiling; do
   if eval [ -n '"${'$arg'+set}"' ]; then
     if eval [ '"${'$arg'}"' -eq 0 ]; then
       build_type_suffix=$build_type_suffix-no$arg
-- 
2.30.2