diff options
Diffstat (limited to 'src/w32.c')
| -rw-r--r-- | src/w32.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/w32.c b/src/w32.c index f610a36ecf4..3d3d33453c6 100644 --- a/src/w32.c +++ b/src/w32.c @@ -1940,6 +1940,9 @@ get_emacs_configuration_options (void) #ifdef EMACSDEBUG " --no-opt", #endif +#ifdef ENABLE_CHECKING + " --enable-checking", +#endif /* configure.bat already sets USER_CFLAGS and USER_LDFLAGS with a starting space to save work here. */ #ifdef USER_CFLAGS |