Change

diff --git a/Robust/src/README b/Robust/src/README
index 02285be2262f3d7fdcc990f3337221712ad75f83..e1ebfaeee085daaf5581f5a7d8cc91189064c64b 100644 (file)
--- a/Robust/src/README
+++ b/Robust/src/README
@@ -31,7 +31,8 @@ III. Using Garbage Collection
 
 2) Make a directory called gc in the Runtime directory & untar the gc into this directory
 
-3) ./configure --prefix=/root/rep/Robust/src/Runtime/; make;make install to build
+3) ./configure --prefix={RUNTIME DIRECTORY}; make;make install to build
+(Modify the prefix to the appropriate path for the runtime directory.
 
 4) Make sure the gc libraries are placed in Runtime/lib and the include files in Runtime/include