From 2de6c3a98848de085ca065b42b4e3df9741345ac Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 30 Jun 2006 00:51:42 +0000
Subject: [PATCH] Use test -f because Solaris sh does not support -e. (Idiots
 can't read POSIX spec I guess.)

---
 src/utils/pintos-gdb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/utils/pintos-gdb b/src/utils/pintos-gdb
index c986b40..4ef38d3 100755
--- a/src/utils/pintos-gdb
+++ b/src/utils/pintos-gdb
@@ -11,7 +11,7 @@ else
 fi
 
 # Run GDB.
-if test -e "$GDBMACROS"; then
+if test -f "$GDBMACROS"; then
 	exec $GDB -x "$GDBMACROS" "$@"
 else
 	echo "*** $GDBMACROS does not exist ***"
-- 
2.30.2