diff run-octave.in @ 6987:deb175b6e4a1

[project @ 2007-10-09 18:39:15 by jwe]
author jwe
date Tue, 09 Oct 2007 18:39:16 +0000
parents 647cad232070
children 8b0cfeb06365
line wrap: on
line diff
--- a/run-octave.in	Tue Oct 09 17:43:00 2007 +0000
+++ b/run-octave.in	Tue Oct 09 18:39:16 2007 +0000
@@ -35,12 +35,7 @@
 
 if [ $# -gt 0 ]; then
   if [ "x$1" = "x-g" ]; then
-    driver="gdb"
-    if [ `/bin/pwd` = "$builddir" ]; then
-      sed "s|^set args.*$|set args $args|" .gdbinit > .gdbinit-tmp
-      mv .gdbinit-tmp .gdbinit
-    fi
-    args=""
+    driver="gdb --args"
     shift
   elif [ "x$1" = "x-valgrind" ]; then
     driver="valgrind --tool=memcheck"