diff options
Diffstat (limited to '')
| -rw-r--r-- | spin/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spin/Makefile b/spin/Makefile index 73669f9..cb862cf 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 -search -bit $< | 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: |