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 c986b40a084cca196ffffe5080a9caf4b1603464..4ef38d3f177f1c9b694d422c14efdd2df98809d9 100755 (executable)
--- 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 ***"