Changeset 18904 for release-kits/shared
- Timestamp:
- 2009-04-08T11:07:29+12:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
release-kits/shared/linux/rk
r17996 r18904 1 #!/bin/bash 2 function show_title() { 3 echo "O---------------------------------------------O" 4 echo "| |" 5 echo -n "| $rk_name "; 6 for a in `seq 0 $(( 40 - ${#rk_name} ))`; do echo -n " "; done; echo "|" 7 echo -n "| $rk_fullname "; 8 for a in `seq 0 $(( 40 - ${#rk_fullname} ))`; do echo -n " "; done; echo "|" 9 echo "| |" 10 echo "O---------------------------------------------O" 11 } 12 1 13 #pre checks 2 3 14 if [ "$rk_name" == "" ]; then 4 15 echo "rk_name not set"; … … 32 43 echo " -cp" 33 44 echo " show the classpath being used by $rk_name" 45 echo 46 echo " -cmd" 47 echo " show the ant command being used by $rk_name" 34 48 35 49 } … … 77 91 echo $CLASSPATH 78 92 exit 93 elif [ "$1" == "-cmd" ]; then 94 show_cmd=true 79 95 elif [ "$1" == "-sim" ]; then 80 96 toexec="$toexec $1" … … 87 103 done 88 104 105 #execute (or show the command to be executed) 106 if [ "$show_cmd" == "true" ]; then 107 echo $toexec 108 elif [ "$sim_mode" == "on" ]; then 109 show_title 110 $toexec 111 else 112 show_title | tee ${rk_name}.out 113 $toexec 2>&1 | tee -a ${rk_name}.out 114 fi 115 89 116 if [ "$RKOLDPWD" != "" ]; then 90 117 cd $RKOLDPWD 91 118 fi 92 119
Note:
See TracChangeset
for help on using the changeset viewer.