diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 12:03:39 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 12:03:39 +0200 |
| commit | b288b587378984c3c419d26a13dcf93686d1b779 (patch) | |
| tree | 623679ad5dd5325f4d0d11d2d85d43a638d9ad33 /test/monniaux/rules.mk | |
| parent | c1330c1f6863d4029bfa965b4151e629d72a2217 (diff) | |
| download | compcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.tar.gz compcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.zip | |
All working benches ported
Diffstat (limited to 'test/monniaux/rules.mk')
| -rw-r--r-- | test/monniaux/rules.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index 9fd20a3d..f65dc414 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -14,10 +14,10 @@ CLOCK=../clock MAX_MEASURES=10 # Flags common to both compilers, then to gcc, then to ccomp -ALL_CFLAGS=-Wall -D__K1C_COS__ -DMAX_MEASURES=$(MAX_MEASURES) +ALL_CFLAGS+=-Wall -D__K1C_COS__ -DMAX_MEASURES=$(MAX_MEASURES) #ALL_CFLAGS+=-g -ALL_GCCFLAGS=$(ALL_CFLAGS) -std=c99 -Wextra -Werror=implicit -ALL_CCOMPFLAGS=$(ALL_CFLAGS) +ALL_GCCFLAGS+=$(ALL_CFLAGS) -std=c99 -Wextra -Werror=implicit +ALL_CCOMPFLAGS+=$(ALL_CFLAGS) # The compilers K1C_CC=k1-cos-gcc |