diff options
author | Catalin Marinas <catalin.marinas@arm.com> | 2018-10-01 17:10:15 +0100 |
---|---|---|
committer | Catalin Marinas <catalin.marinas@arm.com> | 2018-10-01 17:10:15 +0100 |
commit | 3a1aacf90e6a9d9404940a6ab0a00cd7eba7371f (patch) | |
tree | 3a4d1d8f2fb6dff2942797e592f08b9a6f5eb4e9 | |
parent | 0b67a9ad08dfc2b55ef2201ba2094360ff914562 (diff) | |
download | kernel-tla-3a1aacf90e6a9d9404940a6ab0a00cd7eba7371f.tar.gz |
check.sh: Remove the tlc -cleanup option
This doesn't seem to work in the latest TLA+ tools if the states
directory is not present.
Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
-rwxr-xr-x | check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -22,4 +22,4 @@ fi # Split << pc, stack >> out of the default vars and generate proc_vars sed -i -e "/^vars\s*==/,/>>/{s/\<vars\>/proc_vars/;s/\<pc,\s*\|\<stack,\s*//g;s/>>/>>\n\nvars == << proc_vars, pc, stack >>/}" $SPEC.tla -tlc -workers $(nproc) -cleanup $@ $SPEC.tla | tee -a $SPEC.log +tlc -workers $(nproc) $@ $SPEC.tla | tee -a $SPEC.log |