Ensured LOGFILE is honoured

configure

 #! /bin/bash
 # configure script
 # note: has nothing to do with GNU autoconf
-
-exec 2> ${LOGFILE:-/dev/null} 3>&1
-eval ${LOGFILE:+set -x}
+if [[ -z $LOGFILE ]]; then
+  exec 2> /dev/null 3>&1
+else
+  exec 3> >(while read TEXT ; do echo $TEXT ; echo $(date +"%d.%m.%Y %H:%M:%S") $TEXT >> $LOGFILE; done)
+  exec 2>> $LOGFILE
+fi
 
 
 shopt -s nullglob
@@ -125,7 +128,7 @@ for arg in "$@" ; do
         --coverage)
             COVERAGE=true ;;
         --ci)
-            echo "Running in CI configuration. Will not perform speed tests!"
+            echo "Running in CI configuration. Will not perform speed tests!" 1>&3
             HAVE_MCC=true
             HAVE_GINAC=true
             DEBUG=true
@@ -259,7 +262,7 @@ case "$1,$2,$3" in
             $NATIVE && eval addflag FFLAGS -march=native -mtune=native
         fi
         if $COVERAGE ; then
-            echo "Coverage analytics is currently only supported for gcc"
+            echo "Coverage analytics is currently only supported for gcc" 1>&3
             exit 1
         fi
     ;;
@@ -303,7 +306,7 @@ case "$1,$2,$3" in
             HAVE_MCC=false
         fi
         if $COVERAGE ; then
-            echo "Coverage analytics is currently only supported for gcc"
+            echo "Coverage analytics is currently only supported for gcc" 1>&3
             exit 1
         fi
     ;;
@@ -923,4 +926,4 @@ distclean:
 EOF
 
 
-echo "Configuration of handyG $VERSION done. Now type \"make\"."
+echo "Configuration of handyG $VERSION done. Now type \"make\"." 1>&3