aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/complex
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-12 13:41:33 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-12 13:42:18 +0100
commit0e6e9bd0f68c5f628510603221463ed6b9fa2d54 (patch)
tree758ed74eb5238f7ba2043f8ff9c2f720467ef4f6 /test/monniaux/complex
parent94fb609b2e03969a34399c2af7fce579085a2480 (diff)
downloadcompcert-kvx-0e6e9bd0f68c5f628510603221463ed6b9fa2d54.tar.gz
compcert-kvx-0e6e9bd0f68c5f628510603221463ed6b9fa2d54.zip
better tracing for ILP + make clean
Diffstat (limited to 'test/monniaux/complex')
-rw-r--r--test/monniaux/complex/Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/test/monniaux/complex/Makefile b/test/monniaux/complex/Makefile
index 1c701783..c92f5211 100644
--- a/test/monniaux/complex/Makefile
+++ b/test/monniaux/complex/Makefile
@@ -10,3 +10,8 @@ complex_mat.gcc.host.s complex_mat.ccomp.host.s complex_mat.gcc.k1c.s complex_ma
complex_mat.gcc.host complex_mat.ccomp.host : ../clock.gcc.host.o
complex_mat.gcc.k1c complex_mat.ccomp.k1c : ../clock.gcc.k1c.o
+
+clean:
+ -rm -f *.o *.s *.k1c
+
+.PHONY: clean