src/os/posix/launcher/launcher.script

changeset 4879
bab5cbf74b5f
parent 4153
b9a9ed0f8eeb
equal deleted inserted replaced
4878:573cf206e381 4879:bab5cbf74b5f
197 esac 197 esac
198 $EMACS --eval "($emacs_gud_cmd \"$GDB $emacs_gud_args -x $GDBSCR\")"; 198 $EMACS --eval "($emacs_gud_cmd \"$GDB $emacs_gud_args -x $GDBSCR\")";
199 rm -f $GDBSCR 199 rm -f $GDBSCR
200 ;; 200 ;;
201 dbx) 201 dbx)
202 $DBX -s $MYDIR/.dbxrc $LAUNCHER $JPARAMS 202 $DBX -s $HOME/.dbxrc $LAUNCHER $JPARMS
203 ;; 203 ;;
204 valgrind) 204 valgrind)
205 echo Warning: Defaulting to 16Mb heap to make Valgrind run faster, use -Xmx for larger heap 205 echo Warning: Defaulting to 16Mb heap to make Valgrind run faster, use -Xmx for larger heap
206 echo 206 echo
207 $VALGRIND --tool=memcheck --leak-check=yes --num-callers=50 $LAUNCHER -Xmx16m $JPARMS 207 $VALGRIND --tool=memcheck --leak-check=yes --num-callers=50 $LAUNCHER -Xmx16m $JPARMS

mercurial