diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-27 10:04:05 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-27 10:04:05 +0200 |
commit | eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6 (patch) | |
tree | b4ae0b3a2f4d60950c1f8d35153f883d81849a44 /test/compression/Makefile | |
parent | 5a7acc396131bc452f868d8d913be26240f21cf5 (diff) | |
download | compcert-kvx-eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6.tar.gz compcert-kvx-eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6.zip |
test/compression: use unique temporary files for testing
Diffstat (limited to 'test/compression/Makefile')
-rw-r--r-- | test/compression/Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/compression/Makefile b/test/compression/Makefile index 4c5207f6..2e14e646 100644 --- a/test/compression/Makefile +++ b/test/compression/Makefile @@ -27,13 +27,13 @@ lzss: $(LZSS_OBJS) $(CC) $(CFLAGS) -o $@ $(LZSS_OBJS) $(LIBS) TESTFILE:=$(firstword $(wildcard /usr/share/dict/words) ./lzss) -TESTCOMPR=/tmp/testcompr.out -TESTEXPND=/tmp/testexpnd.out +TESTCOMPR=/tmp/testcompr.$$$$ +TESTEXPND=/tmp/testexpnd.$$$$ test: - @rm -f $(TESTCOMPR) $(TESTEXPND) - @echo "Test data: $(TESTFILE)" - @for i in $(EXE); do \ + @rm -f $(TESTCOMPR) $(TESTEXPND); \ + echo "Test data: $(TESTFILE)"; \ + for i in $(EXE); do \ echo "$$i: compression..."; \ $(SIMU) ./$$i -c -i $(TESTFILE) -o $(TESTCOMPR); \ echo "$$i: decompression..."; \ @@ -42,8 +42,8 @@ test: then echo "$$i: passed"; \ else echo "$$i: FAILED"; exit 2; \ fi; \ - done - @rm -f $(TESTCOMPR) $(TESTEXPND) + done; \ + rm -f $(TESTCOMPR) $(TESTEXPND) bench: @rm -f $(TESTCOMPR) |