Updates to scripts as bash and sh aren't the same on solaris.

Former-commit-id: 860b8700be8d345e0b3909a8917d9860e15a2f51

tools/do_idapro.sh

-#!/bin/sh 
+#!/bin/bash 
 
 analyze_file()
 {

tools/my_timeout.sh

-#!/bin/bash 
+#!/bin/bash  -x
 
 # The use of timeout differs depending on the version of linux.
 # This is a quick hack to determine how timeout should be envoked
 # to send a sigusr1.
 
+alias
+
 
 time=$1
 shift
 
-if timeout --help | grep --quiet -- "--signal=SIGNAL"
+if gtimeout --help | ggrep --quiet -- "--signal=SIGNAL"
 then
 
-	timeout --signal=sigusr1 $time "$@"
+	gtimeout --signal=sigusr1 $time "$@"
 
 else
-	timeout -10 $time "$@"
+	gtimeout -10 $time "$@"
 
-fi
\ No newline at end of file
+fi

tools/ps_analyze_sol.sh

@@ -5,13 +5,10 @@ $PEASOUP_HOME/tools/ps_analyze.sh $* 	   	\
 	-s detect_server=off 		\
 	-s watchdog=off 			\
 	-s signconv_func_monitor=off 	\
-	-s meds_static=off 			\
-	-s fast_annot=off 			\
 	-s concolic=off 			\
 	-s appfw=off 			\
 	-s determine_program=off 		\
 	-s manual_test=off 			\
-	-s p1transform=off 			\
 	-s integertransform=off 		\
 	-s twitchertransform=off 		\
 	\
@@ -39,3 +36,6 @@ $PEASOUP_HOME/tools/ps_analyze.sh $* 	   	\
 	-s preLoaded_ILR1=on 		\
 	-s preLoaded_ILR2=on 		\
 	-s is_so=on 			\
+	-s meds_static=on 			\
+	-s fast_annot=on 			\
+	-s p1transform=on 			\