projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a64ca6e) | patch
.gitignore: ignore 'benchmarks' folder
authorBrian Norris <banorris@uci.edu>
Tue, 9 Oct 2012 23:30:43 +0000 (16:30 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 9 Oct 2012 23:30:43 +0000 (16:30 -0700)
commit2e9b955070a194963ddb98a5cb3e16968323adec
treef7aa111059b01b5956a2bbfe992f43eba2c8c93btree | snapshot
parenta64ca6ed8ef09fb2a974d44315404075cbf365fecommit | diff
.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 diff | blob | history
This is the public repository for the CDSSpec specification compiler.