diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-07-20 11:54:58 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-07-20 11:54:58 +0100 |
commit | 1cc5a458f28ad44919c9bfafbd5191c253e453e2 (patch) | |
tree | 7d14c36094944d35d19ea04cd186b4d8e148dac5 /test/dhrystone/Makefile | |
parent | 9c6a88c1d3896f30874a4965b98b33de6b98838a (diff) | |
download | vericert-1cc5a458f28ad44919c9bfafbd5191c253e453e2.tar.gz vericert-1cc5a458f28ad44919c9bfafbd5191c253e453e2.zip |
Add dhrystone to benchmarks
Diffstat (limited to 'test/dhrystone/Makefile')
-rw-r--r-- | test/dhrystone/Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/test/dhrystone/Makefile b/test/dhrystone/Makefile deleted file mode 100644 index 6a10d2a..0000000 --- a/test/dhrystone/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -CC := gcc -CFLAGS := -O3 - -all: - $(CC) $(CFLAGS) -DHZ=60 dhry_1.c dhry_2.c -o dhry - -clean: - rm -f dhry |