diff options
Diffstat (limited to 'scripts/make_native')
| -rw-r--r-- | scripts/make_native/Makefile.native | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/make_native/Makefile.native b/scripts/make_native/Makefile.native index b91a3e0..4ceff02 100644 --- a/scripts/make_native/Makefile.native +++ b/scripts/make_native/Makefile.native @@ -1,3 +1,10 @@ +# This Makefile optimizes native builds. It +# - enables -O3 optimization +# - builds for native architecture (-march=native) +# - does not have debug build option +# +# NOTE: This file is used in Travis CI for stricter test builds + VERSION = 1.3 PREFIX ?= /usr/local |