diff options
| author | Oskar <> | 2024-03-26 22:18:36 +0100 |
|---|---|---|
| committer | Oskar <> | 2024-03-26 22:18:36 +0100 |
| commit | 817a46ef2eb88315e3bcecfe437d48e15106af84 (patch) | |
| tree | e83433ddb7c04ac1ccf7ea20c436ee88f370ff58 /test/Makefile | |
| parent | 37493581668294ac136df42f56a0bb937890805a (diff) | |
validate_L
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/Makefile b/test/Makefile index fba635a..4011915 100644 --- a/test/Makefile +++ b/test/Makefile @@ -13,9 +13,11 @@ clean: rm -f vcpm echo "rm -f vcpm" rm -f vcimm - echo "rm -f vcpm" + echo "rm -f vcimm" rm -f vpct - echo "rm -f vcpm" + echo "rm -f vpct" + rm -f vimmn + echo "rm -f vimmn" echo "Cleaned." smode: |