X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fmisc%2Fbochs-2.6.2-build.sh;h=ce90a713f87cbbb2e87b2febdc7bb19cdf161df3;hp=7dc85fedfcb11f1735bdbe8fbd7bdf438cbdecfe;hb=4053c61636a5ee545c8130bcedea12d77b85de4c;hpb=21848a29ff6f6d52751bd91463be03b790f6e3e5

diff --git a/src/misc/bochs-2.6.2-build.sh b/src/misc/bochs-2.6.2-build.sh
index 7dc85fe..ce90a71 100755
--- a/src/misc/bochs-2.6.2-build.sh
+++ b/src/misc/bochs-2.6.2-build.sh
@@ -18,6 +18,7 @@ cat $PINTOSDIR/src/misc/bochs-2.6.2-jitter-plus-segv.patch | patch -p1
 cat $PINTOSDIR/src/misc/bochs-2.6.2-xrandr-pkgconfig.patch | patch -p1
 cat $PINTOSDIR/src/misc/bochs-2.6.2-banner-stderr.patch | patch -p1
 cat $PINTOSDIR/src/misc/bochs-2.6.2-block-device-check.patch | patch -p1
+cat $PINTOSDIR/src/misc/bochs-2.6.2-link-tinfo.patch | patch -p1
 CFGOPTS="--with-x --with-x11 --with-term --with-nogui --prefix=$DSTDIR"
 mkdir plain &&
         cd plain &&