Merge branch 'v2.0'

configure.sh

@@ -3,6 +3,12 @@
 
 rm -f sourceme.sh Makefile.conf
 
+if (($#==1)) ; then
+
+conf=$1
+
+else
+
 prefix=""
 case "$(uname)" in
 (Linux)  prefix=linux. ;;
@@ -18,6 +24,9 @@ do
   [[ -n "$conf" ]] && break
 done
 
+fi
+
+
 ln -s configurations/$conf Makefile.conf
 
 case "$conf" in

regtest/scripts/check

@@ -3,6 +3,11 @@
 nerror=0
 nok=0
 notapp=0
+html=
+
+if [ "$1" == --html ] ; then
+html=1
+fi
 
 echo
 echo
@@ -26,14 +31,18 @@ dirs=$(
 for dir in $dirs
 do
   file=${dir}report.txt
+  fullname="$file"
+  if [ -n "$html" ] ; then
+    fullname='<a href="'"$file"'">'"$file"'</a>'
+  fi
   if grep -q NOT_APPLIABLE $file ; then
     ((notapp++))
     echo + test $dir NOT APPLIABLE
-    echo + check file $file for more information
+    echo + check file $fullname for more information
   elif grep -q FAILURE $file ; then
     ((nerror++))
     echo + ERROR in test $dir
-    echo + check file $file for more information
+    echo + check file $fullname for more information
   else
     ((nok++))
   fi