| commit | 3a1aacf90e6a9d9404940a6ab0a00cd7eba7371f | [log] [tgz] |
|---|---|---|
| author | Catalin Marinas <catalin.marinas@arm.com> | Mon Oct 01 17:10:15 2018 +0100 |
| committer | Catalin Marinas <catalin.marinas@arm.com> | Mon Oct 01 17:10:15 2018 +0100 |
| tree | 3a4d1d8f2fb6dff2942797e592f08b9a6f5eb4e9 | |
| parent | 0b67a9ad08dfc2b55ef2201ba2094360ff914562 [diff] |
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>