From 9ad2fa73d2c0361aa7e14134045b27f08872379f Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Sun, 19 Sep 2004 20:07:40 +0000 Subject: [PATCH] Explain how to use patch. --- src/misc/bochs-2.1.1.patch | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/misc/bochs-2.1.1.patch b/src/misc/bochs-2.1.1.patch index d55d83e..942b82f 100644 --- a/src/misc/bochs-2.1.1.patch +++ b/src/misc/bochs-2.1.1.patch @@ -20,6 +20,9 @@ You will have to supply the proper path to the patch, of course. You can provide the --dry-run option to patch if you want to test whether the patch would apply cleanly before actually patching. +To apply a subset of the patches, use a text editor to delete the +unwanted patches, then follow the above instructions. + Here's a ./configure invocation for Bochs that works optimally with the `pintos' utility: ./configure --with-x --with-x11 --with-term --with-nogui -- 2.30.2