diff options
| author | Oskar <[email protected]> | 2024-03-27 17:02:44 +0100 |
|---|---|---|
| committer | Oskar <[email protected]> | 2024-03-27 17:02:44 +0100 |
| commit | 169fde7ed2d6994fca79e2c31b87471be587b22f (patch) | |
| tree | 3edd36a470952c1c83583d4ad80c7cb7bd0d4ef0 /test | |
| parent | 25aa5bbfe8fbcc421589f0345f775b8969593135 (diff) | |
| parent | b391c5d6a807382e282ce9c9761e8644962f8e0c (diff) | |
Merge branch 'validate-L'
Diffstat (limited to 'test')
| -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: |