Utility for invoking the proper GDB and loading Pintos macros.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Apr 2006 18:30:09 +0000 (18:30 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Apr 2006 18:30:09 +0000 (18:30 +0000)
commit51d220e8f5774ddb62aee7a266a79e5c12e605e4
treef25fc55672c5858f183cbf7c9c257bec235ec9a0
parentbfd2e965e1aa5f2b00dff6b11be770c6cbe7313d
Utility for invoking the proper GDB and loading Pintos macros.
src/utils/pintos-gdb [new file with mode: 0755]