Add --enable-show-ips; it's useful when using the profiling code.

diff --git a/contrib/bochs/README b/contrib/bochs/README
index 20ea44a..71831ed 100644 (file)
--- a/contrib/bochs/README
+++ b/contrib/bochs/README
@@ -26,7 +26,8 @@ To get bochs running is fairly simple:
 3.  Configure bochs with
       pushd bochs
       ./configure --enable-all-optimisations --enable-pci --enable-pnic \
-                  --enable-debugger --enable-magic-breakpoints --enable-disasm
+                  --enable-debugger --enable-magic-breakpoints \
+                 --enable-disasm --enable-show-ips
       popd
 
 4.  Build bochs: