diff options
| author | Julian Blake Kongslie | 2023-04-08 13:28:28 -0700 |
|---|---|---|
| committer | Julian Blake Kongslie | 2023-04-08 13:28:28 -0700 |
| commit | 4420244e9c0fdef41baf811c283d9f843265d254 (patch) | |
| tree | 68db1b02e937866da72025735753f4123a529ba1 /spin/Makefile | |
| parent | questionable hacks (diff) | |
| download | biggolf-4420244e9c0fdef41baf811c283d9f843265d254.tar.xz | |
Diffstat (limited to 'spin/Makefile')
| -rw-r--r-- | spin/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spin/Makefile b/spin/Makefile index 73669f9..65bf08e 100644 --- a/spin/Makefile +++ b/spin/Makefile | |||
| @@ -5,7 +5,7 @@ clean: | |||
| 5 | 5 | ||
| 6 | %.pml.trail: %.pml | 6 | %.pml.trail: %.pml |
| 7 | @rm -f $@ | 7 | @rm -f $@ |
| 8 | spin -search -bitstate -l $< | egrep '^(pan|spin):' | 8 | spin -run -bfs -bitstate $< #| egrep '^(pan|spin):' |
| 9 | [ ! -e $@ ] || spin -c -g -l -p -replay $< | 9 | [ ! -e $@ ] || spin -c -g -l -p -replay $< |
| 10 | 10 | ||
| 11 | .SECONDARY: | 11 | .SECONDARY: |