diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-09-01 22:20:43 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-09-01 22:20:43 +0000 |
| commit | 594696734e9bd18b1ecc31d3b65a6001bae452a5 (patch) | |
| tree | a7374e4cfcc34d3c8854616ca426e99543c187e1 /config | |
| parent | 3bfa95fd5044257e41b5276dea2e0f3ac036f457 (diff) | |
reflect in build strings that -gmp is now the default and -cln is an option
Diffstat (limited to 'config')
| -rwxr-xr-x | config/build-type | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/config/build-type b/config/build-type index 0449f3375..266ba2ca5 100755 --- a/config/build-type +++ b/config/build-type @@ -29,8 +29,8 @@ # coverage # profiling # -# Also you can specify "cln" or "gmp". If "gmp", the build dir -# contains the string "gmp". (cln is considered the default.) +# Also you can specify "cln" or "gmp". If "cln", the build dir +# contains the string "cln". (gmp is considered the default.) # if [ $# -eq 0 ]; then @@ -43,8 +43,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 @@ -52,7 +52,7 @@ while [ $# -gt 0 ]; do done build_type_suffix= -for arg in gmp staticbinary optimized debugsymbols statistics assertions tracing muzzle coverage profiling; do +for arg in cln staticbinary optimized debugsymbols statistics 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 |