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 | 7a5912f9b7108e2af2bd016523124a2abca127a2 (patch) | |
| tree | 3c900c5a9fbad703225cd061f223d9940d757fce /www | |
| parent | d47bf6b91faeab6c97a06108ed35b2b7ad0a45fc (diff) | |
| download | klee-7a5912f9b7108e2af2bd016523124a2abca127a2.tar.gz | |
Patch by Jonathan Neuschäfer: "fix reference to posix/uclibc step"
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@186099 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
| -rw-r--r-- | www/GetStarted.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index abd1b7bc..7f6199dc 100644 --- a/www/GetStarted.html +++ b/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> |