From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 9 Sep 2006 16:52:39 +0000 (+0000)
Subject: Convert tabs to spaces to make cut-and-paste to interactive shell
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=96890516ba515537cae2d4b87df7412f5ad8c73f;p=pintos-anon

Convert tabs to spaces to make cut-and-paste to interactive shell
work.
---

diff --git a/src/misc/bochs-2.2.6-build.sh b/src/misc/bochs-2.2.6-build.sh
index 2878fbd..ad97596 100755
--- a/src/misc/bochs-2.2.6-build.sh
+++ b/src/misc/bochs-2.2.6-build.sh
@@ -24,14 +24,14 @@ if test "`uname -s`" = "SunOS"; then
 fi
 CFGOPTS="--with-x --with-x11 --with-term --with-nogui --prefix=$DSTDIR"
 mkdir plain &&
-	cd plain && 
-	../configure $CFGOPTS --enable-gdb-stub && 
-	make && 
-	make install &&
-	cd ..
+        cd plain && 
+        ../configure $CFGOPTS --enable-gdb-stub && 
+        make && 
+        make install &&
+        cd ..
 mkdir with-dbg &&
-	cd with-dbg &&
-	../configure --enable-debugger $CFGOPTS &&
-	make &&
-	cp bochs $DSTDIR/bin/bochs-dbg &&
-	cd ..
+        cd with-dbg &&
+        ../configure --enable-debugger $CFGOPTS &&
+        make &&
+        cp bochs $DSTDIR/bin/bochs-dbg &&
+        cd ..