diff options
| author | Mike Haertel | 2023-03-21 08:35:13 -0700 |
|---|---|---|
| committer | Mike Haertel | 2023-03-21 08:35:13 -0700 |
| commit | fa364103127162af6656950c56be2e8953010d25 (patch) | |
| tree | c8afd4a3556880eafdfb09cd3991974d29014193 /spin/Makefile | |
| parent | Nefariously add our nefarious plan. (diff) | |
| download | biggolf-bug-skip-introduces-failure.tar.xz | |
Messy spin snapshot with bug demobug-skip-introduces-failure
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..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: |