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 | |
parent | 37493581668294ac136df42f56a0bb937890805a (diff) |
validate_L
Diffstat (limited to 'test')
-rw-r--r-- | test/Makefile | 6 | ||||
-rwxr-xr-x | test/vimmn | bin | 26904 -> 0 bytes |
2 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: diff --git a/test/vimmn b/test/vimmn Binary files differdeleted file mode 100755 index 5a1ee36..0000000 --- a/test/vimmn +++ /dev/null |