aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorumarcor <unai.martinezcorral@ehu.eus>2019-04-25 07:32:44 +0200
committertgingold <tgingold@users.noreply.github.com>2019-04-25 19:01:32 +0200
commit031afa181b327ffef008614914567f8ccc828446 (patch)
tree345184edfe6cb65cffdf0d3a3ac5c0d5718a308c
parentf4689c2660cb26e341f79f8104d46c808427f6c0 (diff)
downloadghdl-031afa181b327ffef008614914567f8ccc828446.tar.gz
ghdl-031afa181b327ffef008614914567f8ccc828446.tar.bz2
ghdl-031afa181b327ffef008614914567f8ccc828446.zip
preserve externally set OPT_FLAGS, ADA_FLAGS and/or LIB_CFLAGS
-rw-r--r--Makefile.in6
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in
index 093ede3ad..7e6dea689 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -60,9 +60,9 @@ VHDL_LIB_DIR=$(prefix)/$(libdirsuffix)
ifeq "$(enable_checks)" "true"
# Debug + checks
- OPT_FLAGS=-g
- ADA_FLAGS=-gnata
- LIB_CFLAGS=
+ OPT_FLAGS+=-g
+ ADA_FLAGS+=-gnata
+ LIB_CFLAGS+=
else
# Optimize + no checks
ADA_FLAGS+=-gnatpn