diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-24 17:01:41 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-24 17:02:29 +0200 |
| commit | 4ee5d47c502e05deed69eb8ddf183384a86ffd05 (patch) | |
| tree | 3c118f606d4973c91e5d703f7c553956a2501f6e /test/monniaux/rules.mk | |
| parent | a11f3b87e0535b6c7953c74d00d91fb7d7fbb21b (diff) | |
| download | compcert-kvx-4ee5d47c502e05deed69eb8ddf183384a86ffd05.tar.gz compcert-kvx-4ee5d47c502e05deed69eb8ddf183384a86ffd05.zip | |
Minor fix for the measurements macros
Diffstat (limited to 'test/monniaux/rules.mk')
| -rw-r--r-- | test/monniaux/rules.mk | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index 4dfeac3b..9d05b4d6 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -12,6 +12,7 @@ CLOCK=../clock # Maximum amount of time measures (see cycles.h) MAX_MEASURES=10 +MEASURES?=time # Flags common to both compilers, then to gcc, then to ccomp ALL_CFLAGS+=-Wall -D__K1C_COS__ -DMAX_MEASURES=$(MAX_MEASURES) @@ -28,12 +29,12 @@ EXECUTE_CYCLES?=k1-cluster --syscall=libstd_scalls.so --cycle-based -- # You can define up to GCC4FLAGS and CCOMP4FLAGS GCC0FLAGS?= -GCC1FLAGS?=$(ALL_GCCFLAGS) -O1 +GCC1FLAGS?=$(ALL_GCCFLAGS) -O1 -g GCC2FLAGS?=$(ALL_GCCFLAGS) -O2 GCC3FLAGS?=$(ALL_GCCFLAGS) -O3 GCC4FLAGS?= CCOMP0FLAGS?= -CCOMP1FLAGS?=$(ALL_CCOMPFLAGS) -O1 +CCOMP1FLAGS?=$(ALL_CCOMPFLAGS) -O1 -g CCOMP2FLAGS?=$(ALL_CCOMPFLAGS) CCOMP3FLAGS?= CCOMP4FLAGS?= @@ -131,7 +132,7 @@ endif measures.csv: $(OUTFILES) @echo $(FIRSTLINE) > $@ - @for i in "$(MEASURES)"; do\ + @for i in $(MEASURES); do\ first=$$(grep "$$i cycles" $(firstword $(OUTFILES)));\ if test ! -z "$$first"; then\ if [ "$$i" != "time" ]; then\ |