X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmisc%2Fbochs-2.2.6-build.sh;fp=src%2Fmisc%2Fbochs-2.2.6-build.sh;h=3245b4289889330f0f75cb34deee5223479a79f3;hb=48aa52a62ad35d5b824f1bc687b20154d5862c23;hp=fd2773d843e66c36f4328837e5c19fb6d1b9868e;hpb=461ea283c629efa1115d65ea626cf8354daac02a;p=pintos-anon

diff --git a/src/misc/bochs-2.2.6-build.sh b/src/misc/bochs-2.2.6-build.sh
index fd2773d..3245b42 100755
--- a/src/misc/bochs-2.2.6-build.sh
+++ b/src/misc/bochs-2.2.6-build.sh
@@ -25,9 +25,11 @@ mkdir plain &&
 	cd plain && 
 	../configure $CFGOPTS --enable-gdb-stub && 
 	make && 
-	make install
+	make install &&
+	cd ..
 mkdir with-dbg &&
 	cd with-dbg &&
 	../configure --enable-debugger $CFGOPTS &&
 	make &&
-	cp bochs $DSTDIR/bin/bochs-dbg
+	cp bochs $DSTDIR/bin/bochs-dbg &&
+	cd ..