From: Ben Pfaff Date: Fri, 7 Apr 2006 18:30:09 +0000 (+0000) Subject: Utility for invoking the proper GDB and loading Pintos macros. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=51d220e8f5774ddb62aee7a266a79e5c12e605e4;p=pintos-anon Utility for invoking the proper GDB and loading Pintos macros. --- diff --git a/src/utils/pintos-gdb b/src/utils/pintos-gdb new file mode 100755 index 0000000..c986b40 --- /dev/null +++ b/src/utils/pintos-gdb @@ -0,0 +1,20 @@ +#! /bin/sh + +# Path to GDB macros file. Customize for your site. +GDBMACROS=/usr/class/cs140/pintos/pintos/src/misc/gdb-macros + +# Choose correct GDB. +if command -v i386-elf-gdb >/dev/null 2>&1; then + GDB=i386-elf-gdb +else + GDB=gdb +fi + +# Run GDB. +if test -e "$GDBMACROS"; then + exec $GDB -x "$GDBMACROS" "$@" +else + echo "*** $GDBMACROS does not exist ***" + echo "*** Pintos GDB macros will not be available ***" + exec $GDB "$@" +fi