source:
CIVL/examples/pthread/Makefile@
068c228
| Last change on this file since 068c228 was bf81b8c, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 235 bytes | |
| Line | |
|---|---|
| 1 | CIVL=civl |
| 2 | VERIFY=$(CIVL) verify |
| 3 | |
| 4 | all: bug1 fib_bench_false |
| 5 | |
| 6 | bug1: bug1.cvl |
| 7 | $(VERIFY) bug1.cvl -inputNUM_THREADS=6 -inputTCOUNT=10 -inputCOUNT_LIMIT=12 |
| 8 | |
| 9 | fib_bench_false: fib_bench_false.cvl |
| 10 | $(VERIFY) fib_bench_false.cvl -inputNUM=5 |
| 11 |
Note:
See TracBrowser
for help on using the repository browser.
