diff options
Diffstat (limited to 'Makefile.in')
-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 |