diff options
| -rw-r--r-- | Makefile.in | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index eca5c3453e6..6363326571e 100644 --- a/Makefile.in +++ b/Makefile.in @@ -100,12 +100,13 @@ else CFG_RUSTC_FLAGS += -O --cfg rtopt endif -ifdef CFG_ENABLE_DEBUG - $(info cfg: enabling more debugging (CFG_ENABLE_DEBUG)) - CFG_GCCISH_CFLAGS += -DRUST_DEBUG -else +ifdef CFG_DISABLE_DEBUG CFG_RUSTC_FLAGS += --cfg ndebug CFG_GCCISH_CFLAGS += -DRUST_NDEBUG +else + $(info cfg: enabling more debugging (CFG_ENABLE_DEBUG)) + CFG_RUSTC_FLAGS += --cfg debug + CFG_GCCISH_CFLAGS += -DRUST_DEBUG endif ifdef SAVE_TEMPS |