From 2e9b955070a194963ddb98a5cb3e16968323adec Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 9 Oct 2012 16:30:43 -0700
Subject: [PATCH] .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
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

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