diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2011-04-22 12:16:36 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2011-04-22 12:16:36 +0000 |
| commit | 2ec715a7e08724e54cd8c14904446d1b91b42121 (patch) | |
| tree | b9fa8aac74a8d75e8819eb17228a947f1b8419a5 /www | |
| parent | 4a5dd9353adc23bac73fc80a7598422f6fcd4b4f (diff) | |
| download | klee-2ec715a7e08724e54cd8c14904446d1b91b42121.tar.gz | |
Add a note about the git mirror
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@129989 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
| -rw-r--r-- | www/GetStarted.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index 76e741c8..0f109a99 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -62,6 +62,12 @@ targets.<p> <div class="instr"> $ svn co http://llvm.org/svn/llvm-project/klee/trunk klee </div> + Alternatively, if you prefer to use git there is also a + read-only git mirror, which syncs automatically with each + Subversion commit. You can do a git clone of KLEE via: + <div class="instr"> + $ git clone http://llvm.org/git/klee.git + </div> </li> <li>Configure KLEE (from the KLEE source directory): |