From: Brian Norris <banorris@uci.edu>
Date: Tue, 9 Oct 2012 23:30:43 +0000 (-0700)
Subject: .gitignore: ignore 'benchmarks' folder
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2e9b955070a194963ddb98a5cb3e16968323adec;p=cdsspec-compiler.git

.gitignore: ignore 'benchmarks' folder

Now, you can clone the benchmarks repository under the name 'benchmarks'
and have it compile-ready (but ignored by this repository) with:

  git clone <URI/model-checker-benchmarks.git> benchmarks
  cd benchmarks
  make

Future updates can be pulled in via a 'git pull' from that directory:

  cd benchmarks
  git pull
---

diff --git a/.gitignore b/.gitignore
index c344192..78006ce 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@
 /tags
 /doc/docs
 /make.deps
+/benchmarks