diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-15 09:58:44 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-15 09:58:44 +0100 |
commit | 4ac453011fb3ee241c6f3023f79c942d99f72eb5 (patch) | |
tree | 00b4ef5e0be846f62e49c9af68a06a01fc9ae065 /test/c/Makefile | |
parent | 29653baeb2c7fa6bfe5da031622d8fb8ac1e50c3 (diff) | |
download | compcert-4ac453011fb3ee241c6f3023f79c942d99f72eb5.tar.gz compcert-4ac453011fb3ee241c6f3023f79c942d99f72eb5.zip |
Remove tests involving Cminor concrete syntax. Update Changelog
Follow-up to [29653ba]
Diffstat (limited to 'test/c/Makefile')
-rw-r--r-- | test/c/Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index c0794ff3..5979dfd4 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -56,17 +56,6 @@ bench: echo -n "$$i: "; $(TIME) ./$$i.compcert; \ done -cminor_roundtrip: - @for i in $(PROGS); do \ - $(CCOMP) -dcminor -S $$i.c; \ - cp $$i.cm $$i.1.cm; \ - $(CCOMP) -dcminor -S $$i.cm; \ - if cmp -s $$i.1.cm $$i.cm; \ - then echo "$$i: round trip passed"; rm -f $$i.1.cm $$i.cm; \ - else echo "$$i: round trip FAILED"; diff -u $$i.1.cm $$i.cm; \ - fi; \ - done - clean: rm -f *.compcert *.gcc rm -f *.compcert.c *.light.c *.parsed.c *.s *.o *.sdump *~ |