diff options
author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-07-11 16:25:07 +0000 |
---|---|---|
committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-07-11 16:25:07 +0000 |
commit | a8968fcccded179c6e7a4552537537d5de5cab8d (patch) | |
tree | 32215b8c6515e99a8654888209f1cdc2ff713a3d /klee | |
parent | 1a1b226bdd8e256f8c2416933d7b832e96f46f1b (diff) |
Patch by Jonathan Neuschäfer: "fix reference to posix/uclibc step"
Diffstat (limited to 'klee')
-rw-r--r-- | klee/www/GetStarted.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/klee/www/GetStarted.html b/klee/www/GetStarted.html index abd1b7bc17d..7f6199dc73c 100644 --- a/klee/www/GetStarted.html +++ b/klee/www/GetStarted.html @@ -216,7 +216,7 @@ runtime, which is built on top of the uClibc C library. $ ./configure --with-llvm=<i>path/to/llvm</i> --with-stp=<i>path/to/stp/install</i> --with-uclibc=<i>path/to/klee-uclibc</i> --enable-posix-runtime </div> - <p><b>NOTE:</b> If you skipped step 3, simply remove the <tt>--with-uclibc</tt> and <tt>--enable-posix-runtime options</tt>. </p> + <p><b>NOTE:</b> If you skipped step 4, simply remove the <tt>--with-uclibc</tt> and <tt>--enable-posix-runtime options</tt>. </p> </li> <li><b>Build KLEE:</b> |