diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2019-04-25 07:32:44 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-04-25 19:01:32 +0200 |
commit | 031afa181b327ffef008614914567f8ccc828446 (patch) | |
tree | 345184edfe6cb65cffdf0d3a3ac5c0d5718a308c | |
parent | f4689c2660cb26e341f79f8104d46c808427f6c0 (diff) | |
download | ghdl-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.in | 6 |
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 |