| 138 | | echo "Please wait while the program ARB is starting ....." |
| 139 | | (arb_ntree $args;arb_clean >/dev/null 2>&1;echo ARB done) & |
| | 138 | if [ "$1" = "trace" ]; then |
| | 139 | shift |
| | 140 | args="$*" |
| | 141 | echo "Running ARB in debugger (gdb)" |
| | 142 | |
| | 143 | arb_echo "set args $args" "source $ARBHOME/SOURCE_TOOLS/trace.gdb" > ARB_debug.commands |
| | 144 | |
| | 145 | gdb -n -batch -command=ARB_debug.commands arb_ntree | tee ARB_debug.log |
| | 146 | # gdb -n -command=ARB_debug.commands arb_ntree | tee ARB_debug.log |
| | 147 | |
| | 148 | echo "----------------------------------------" >> ARB_debug.log |
| | 149 | echo "arb_ntree was called with: '$args'" >> ARB_debug.log |
| | 150 | cat $ARBHOME/TEMPLATES/svn_revision.h >>ARB_debug.log |
| | 151 | svn info >>ARB_debug.log |
| | 152 | echo "----------------------------------------" >> ARB_debug.log |
| | 153 | |
| | 154 | gzip ARB_debug.log |
| | 155 | stamp=`date '+%Y%m%d_%H%M%S'` |
| | 156 | mv ARB_debug.log.gz ARB_debug_$stamp.log.gz |
| | 157 | else |
| | 158 | echo "Please wait while the program ARB is starting ....." |
| | 159 | (arb_ntree $args;arb_clean >/dev/null 2>&1;echo ARB done) & |
| | 160 | fi |
