diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-13 14:04:18 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-13 14:04:18 +0100 |
commit | 2559349ef1b5a3aa967122026b0b30a0a2ebfca9 (patch) | |
tree | cc53007ff5c618e7ab4fd5668cc8cca4b85ad19e /test/monniaux/BearSSL/conf | |
parent | eb56a0fcc6f9f91064b6b0707e92c3b734457ccd (diff) | |
download | compcert-kvx-2559349ef1b5a3aa967122026b0b30a0a2ebfca9.tar.gz compcert-kvx-2559349ef1b5a3aa967122026b0b30a0a2ebfca9.zip |
with timing
Diffstat (limited to 'test/monniaux/BearSSL/conf')
-rw-r--r-- | test/monniaux/BearSSL/conf/KalrayCompCert.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/BearSSL/conf/KalrayCompCert.mk b/test/monniaux/BearSSL/conf/KalrayCompCert.mk index e2bef9d8..ad5bd2da 100644 --- a/test/monniaux/BearSSL/conf/KalrayCompCert.mk +++ b/test/monniaux/BearSSL/conf/KalrayCompCert.mk @@ -54,7 +54,7 @@ LDDLLOUT = -o # Static linker. LD = $(CC) -LDFLAGS = +LDFLAGS = ../clock.gcc.k1c.o LDOUT = -o # C# compiler; we assume usage of Mono. |