diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2016-10-27 16:26:08 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-27 16:26:08 +0200 |
commit | 9922feea537ced718a3822dd50eabc87da060338 (patch) | |
tree | 6f67bb6707ef59e50d6bb81c61b2ed0b3c6097ab /test/regression/Makefile | |
parent | f2d6637c7d4a11f961ff289e64f70bf4de93d0aa (diff) | |
parent | d50773e537ec6729f9152b545c6f938ab19eb7b8 (diff) | |
download | compcert-9922feea537ced718a3822dd50eabc87da060338.tar.gz compcert-9922feea537ced718a3822dd50eabc87da060338.zip |
Merge pull request #145 from AbsInt/64
Support for 64-bit target processors + support for x86 in 64-bit mode
Diffstat (limited to 'test/regression/Makefile')
-rw-r--r-- | test/regression/Makefile | 17 |
1 files changed, 4 insertions, 13 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile index 88f50466..5def966b 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -69,22 +69,13 @@ clean: rm -f *.parsed.c *.compcert.c *.light.c *.s *.o *.sdump *~ test: + @echo "----------- Compiled tests -------------" @for i in $(TESTS) $(TESTS_COMP); do \ - if ./$$i.compcert | cmp -s - Results/$$i; \ - then echo "$$i: passed"; \ - else echo "$$i: FAILED"; exit 2; \ - fi; \ + ./Runtest $$i ./$$i.compcert; \ done + @echo "----------- Interpreted tests -------------" @for i in $(TESTS); do \ - if $(CCOMP) -fall -interp -quiet $$i.c > _cinterp.log; then \ - if cmp -s _cinterp.log Results/$$i; \ - then echo "$$i: interpreter passed"; \ - else echo "$$i: interpreter FAILED"; \ - fi; \ - else \ - echo "$$i: interpreter undefined behavior"; \ - fi; \ - rm -f _cinterp.log; \ + ./Runtest $$i $(CCOMP) -fall -interp -quiet $$i.c; \ done @for i in $(TESTS_DIFF); do \ if $(CCOMP) -fall -interp -quiet $$i.c > _cinterp.log; then \ |