From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 3 Apr 2006 22:04:44 +0000 (+0000)
Subject: Fix typos.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0590cb343d8e19c86d279f5292ec2e5f10d454bd;p=pintos-anon

Fix typos.
---

diff --git a/src/misc/bochs-2.2.6-build.sh b/src/misc/bochs-2.2.6-build.sh
index bdf38b0..137a273 100755
--- a/src/misc/bochs-2.2.6-build.sh
+++ b/src/misc/bochs-2.2.6-build.sh
@@ -1,7 +1,7 @@
 #! /bin/sh -e
 
-if test -z "$SRCDIR" || test -z "$PINTOSROOT" || test -z "$DSTDIR"; then
-    echo "usage: env SRCDIR=<srcdir> PINTOSDIR=<srcdir> DSTDIR=<dstdir> $0"
+if test -z "$SRCDIR" || test -z "$PINTOSDIR" || test -z "$DSTDIR"; then
+    echo "usage: env SRCDIR=<srcdir> PINTOSDIR=<srcdir> DSTDIR=<dstdir> sh $0"
     echo "  where <srcdir> contains bochs-2.2.6.tar.gz"
     echo "    and <pintosdir> is the root of the pintos source tree"
     echo "    and <dstdir> is the installation prefix (e.g. /usr/local)"
@@ -14,7 +14,7 @@ cd $$
 mkdir bochs-2.2.6
 tar xzf $SRCDIR/bochs-2.2.6.tar.gz
 cd bochs-2.2.6
-patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-*.patch
+cat $PINTOSDIR/src/misc/bochs-2.2.6-*.patch | patch -p1
 
 CFGOPTS="--with-x --with-x11 --with-term --with-nogui --prefix=$DSTDIR"
 (mkdir plain &&