From: Ben Pfaff 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=630c9d0bcc3d6b79aad829aaef4ad22a6e3cb435;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= PINTOSDIR= DSTDIR= $0" +if test -z "$SRCDIR" || test -z "$PINTOSDIR" || test -z "$DSTDIR"; then + echo "usage: env SRCDIR= PINTOSDIR= DSTDIR= sh $0" echo " where contains bochs-2.2.6.tar.gz" echo " and is the root of the pintos source tree" echo " and 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 &&