.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 c344192e488e2be80a85ddfd5d68767373a37deb..78006ce2b7ae315957e475b507ba1a5e5693787c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@
 /tags
 /doc/docs
 /make.deps
+/benchmarks