From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 30 Jun 2006 00:51:42 +0000 (+0000)
Subject: Use test -f because Solaris sh does not support -e.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=2de6c3a98848de085ca065b42b4e3df9741345ac

Use test -f because Solaris sh does not support -e.
(Idiots can't read POSIX spec I guess.)
---

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 ***"