source:
CIVL/examples/compare/queue/Makefile
| Last change on this file was ea777aa, checked in by , 3 years ago | |
|---|---|
|
|
| File size: 263 bytes | |
| Rev | Line | |
|---|---|---|
| [57732bb5] | 1 | CIVL=civl |
| [449bd3f] | 2 | VERIFY=${CIVL} verify |
| [57732bb5] | 3 | |
| 4 | all: twoLock nonblocking | |
| 5 | ||
| 6 | twoLock: driver.cvl queue_two_lock.c | |
| [449bd3f] | 7 | ${VERIFY} driver.cvl queue_two_lock.c |
| [57732bb5] | 8 | |
| 9 | nonblocking: driver.cvl queue_non_blocking.c | |
| [449bd3f] | 10 | ${VERIFY} driver.cvl queue_non_blocking.c |
| [57732bb5] | 11 | |
| [449bd3f] | 12 | clean: |
| 13 | rm -f -r CIVLREP | |
| 14 | rm -r -f *~ |
Note:
See TracBrowser
for help on using the repository browser.
