make the make chatty

compile_min.sh

@@ -17,12 +17,6 @@
 # CIDER, XSPICE, and OpenMP may be selected at will.
 # --disable-debug will give O2 optimization (versus O0 for debug) and removes all debugging info.
 
-
-UNAME_ALL=`(uname -a) 2>/dev/null` || UNAME_ALL=unknown
-tes="x"
-tes=`echo $UNAME_ALL | sed 's/.*MINGW.*$//'`
-if test -n "$tes"; then echo "Only for MINGW!"; exit 1; fi
-
 ./autogen.sh --adms
 echo
 if test "$1" = "64"; then
@@ -38,15 +32,18 @@ fi
 echo
 # make clean is required for properly making the code models
 echo "cleaning (see make_clean.log)"
-make clean > make_clean.log 2>&1
+# make clean > make_clean.log 2>&1
+make clean 2>&1 | tee make_clean.log 
 if [ $? -ne 0 ]; then  echo "make clean failed"; exit 1 ; fi
 echo "compiling (see make.log)"
-make > make.log 2>&1
+# make > make.log 2>&1
+make 2>&1 | tee make.log 
 if [ $? -ne 0 ]; then  echo "make failed"; exit 1 ; fi
 # 32 bit: Install to C:\Spice
 # 64 bit: Install to C:\Spice64
 echo "installing (see make_install.log)"
-make install > make_install.log 2>&1
+# make install > make_install.log 2>&1
+make install 2>&1 | tee make_install.log 
 if [ $? -ne 0 ]; then  echo "make install failed"; exit 1 ; fi
 
 echo "success"