diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-11 10:58:24 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-11 10:58:24 +0200 |
commit | a949df2284be7292609ff209ec7547f8560dc43c (patch) | |
tree | 72ff8e6b940fcdc1225e639e8e79cce40471191a /runtime | |
parent | d703ae1ad5e1fcdc63e07b2a50a3e8576a11e61e (diff) | |
parent | a0ad5ff6f9c7603610a7448935b36c9ed22c6435 (diff) | |
download | compcert-kvx-a949df2284be7292609ff209ec7547f8560dc43c.tar.gz compcert-kvx-a949df2284be7292609ff209ec7547f8560dc43c.zip |
Merge branch 'master' of https://github.com/AbsInt/CompCert into kvx-work
fix for comments on x86-64 MacOS
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index 6f70fa87..ff51b7d7 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -1,5 +1,7 @@ include ../Makefile.config +.PRECIOUS: .s + CFLAGS=-O1 -Wall ifeq ($(ARCH),x86) |