diff options
author | Ladar Levison <ladar@users.noreply.github.com> | 2020-05-30 00:26:50 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-30 00:26:50 +0300 |
commit | 5243ce1429a0146df2e6e81b67f551ca8dfbfb19 (patch) | |
tree | 946337dae7697b7a844515f74d228563cf17eeb6 | |
parent | a951054371e8d17cb74a1410782ed1921a93bfa0 (diff) |
Explicitly set Makefile ar/strip/prof flags.
-rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -222,16 +222,16 @@ LDFLAGS ?= LDFLAGS_COMBINED = -rdynamic $(LDFLAGS) # Archiver Options -ARFLAGS ?= rcs +ARFLAGS = rcs # Strip Options -STRIPFLAGS ?= --strip-debug +STRIPFLAGS = --strip-debug # GProf Options -GPROF ?= -pg -finstrument-functions -fprofile-arcs -ftest-coverage +GPROF = -pg -finstrument-functions -fprofile-arcs -ftest-coverage # PProf Options -PPROF ?= -lprofiler +PPROF = -lprofiler # Miscellaneous External programs MV = mv --force |