head	1.1;
branch	1.1.1;
access;
symbols
	start:1.1.1.1
	project:1.1.1;
locks; strict;
comment	@# @;


1.1
date	2009.11.02.13.19.54;	author zeon0214;	state Exp;
branches
	1.1.1.1;
next	;

1.1.1.1
date	2009.11.02.13.19.54;	author zeon0214;	state Exp;
branches;
next	;


desc
@@


1.1
log
@Initial revision
@
text
@#! /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 -f "$GDBMACROS"; then
	exec $GDB -x "$GDBMACROS" "$@@"
else
	echo "*** $GDBMACROS does not exist ***"
	echo "*** Pintos GDB macros will not be available ***"
	exec $GDB "$@@"
fi
@


1.1.1.1
log
@YOO_PJ2
@
text
@@
