diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-06-05 17:59:17 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-05 17:59:25 +0100 |
commit | 8e6559c8f7f2b17937bb7010729677fe65c26cc9 (patch) | |
tree | 3d3db9730bcc92f30121c167741ce789bf9c9a81 /test/dhrystone/Makefile | |
parent | b71b75aa7f9e4db0575b01cf25b7ad6dd88abff4 (diff) | |
download | vericert-8e6559c8f7f2b17937bb7010729677fe65c26cc9.tar.gz vericert-8e6559c8f7f2b17937bb7010729677fe65c26cc9.zip |
Add dhrystone benchmark
Diffstat (limited to 'test/dhrystone/Makefile')
-rw-r--r-- | test/dhrystone/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/dhrystone/Makefile b/test/dhrystone/Makefile new file mode 100644 index 0000000..12ca691 --- /dev/null +++ b/test/dhrystone/Makefile @@ -0,0 +1,7 @@ +CC := gcc + +all: + $(CC) $(CFLAGS) -DHZ=60 dhry_1.c dhry_2.c -o dhry + +clean: + rm -f dhry |