also create coverage for gmp_desc

coverage.sh

@@ -34,7 +34,7 @@ else
    exit 1
 fi
 
-./coverage_more.sh > test_coverage_more.txt || { rm -f testok.txt && exit 1 ; }
+./coverage_more.sh "$5" > test_coverage_more.txt || { rm -f testok.txt && exit 1 ; }
 
 make lcov-single
 # if this was executed as './coverage.sh ...' create coverage locally

coverage_more.sh

@@ -2,6 +2,10 @@
 
 set -e
 
+if [ "$#" = "1" -a "$(echo $1 | grep 'gmp')" != "" ]; then
+   ./test t gmp
+fi
+
 ./sizes
 ./constants
 

meta_builds.sh

@@ -45,6 +45,8 @@ function run_clang() {
    UBSAN_OPTIONS=verbosity=1 ./test t gmp 1>test_std.txt 2> test_err.txt
 }
 
+# output version
+bash printinfo.sh
 
 make clean &>/dev/null