diff options
| author | Gloria Mundi <gloria@gloria-mundi.eu> | 2026-09-14 22:17:13 +0200 |
|---|---|---|
| committer | Gloria Mundi <gloria@gloria-mundi.eu> | 2026-09-14 22:17:13 +0200 |
| commit | 77ca873deccb6c38f235896bf03f53d6cc0bcf2e (patch) | |
| tree | 589816dcf489c6f9a3e3202f7304bbab926ebc92 /test/GNUmakefile | |
| parent | 75c28c0e83c085540084ef82f7a5ba9a5ae72cf6 (diff) | |
minor changes to test infrastructure
Diffstat (limited to 'test/GNUmakefile')
| -rw-r--r-- | test/GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/GNUmakefile b/test/GNUmakefile index 7aae024..3271724 100644 --- a/test/GNUmakefile +++ b/test/GNUmakefile @@ -15,7 +15,7 @@ missing: @rm missing.tmp clean: - rm -f $(TESTS:=.test) $(TESTS:=.ok) $(TESTS:=.san.ok) $(TESTS:=.d) + rm -f $(TESTS:=.test) $(TESTS:=.ok) $(TESTS:=.san.test) $(TESTS:=.san.ok) $(TESTS:=.d) rm -rf awk/ %.ok: %.test |