From: Brian Norris <banorris@uci.edu>
Date: Tue, 9 Oct 2012 23:30:43 +0000 (-0700)
Subject: .gitignore: ignore 'benchmarks' folder
X-Git-Tag: pldi2013~65
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2e9b955070a194963ddb98a5cb3e16968323adec;hp=2e9b955070a194963ddb98a5cb3e16968323adec;p=model-checker.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
---