diff options
Diffstat (limited to 'config_host.mk.in')
-rw-r--r-- | config_host.mk.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config_host.mk.in b/config_host.mk.in index 63b10d56763d..500d752e1d9e 100644 --- a/config_host.mk.in +++ b/config_host.mk.in @@ -614,7 +614,7 @@ export VALGRIND_CFLAGS=$(gb_SPACE)@VALGRIND_CFLAGS@ export VALIDATOR_EXTENSION_PACK=@VALIDATOR_EXTENSION_PACK@ export VCVER=@VCVER@ export DEVENV=@DEVENV@ -export VERBOSE=@VERBOSE@ +export verbose?=@verbose@ export VISIO_CFLAGS=$(gb_SPACE)@VISIO_CFLAGS@ export VISIO_LIBS=$(gb_SPACE)@VISIO_LIBS@ export WATCH_WINDOW_EXTENSION_PACK=@WATCH_WINDOW_EXTENSION_PACK@ |