diff --git a/configure b/configure index 910eeb247..c593fbcc7 100755 --- a/configure +++ b/configure @@ -164,6 +164,8 @@ if [ -n "$CONFIG_RBD" ]; then echo "CONFIG_RBD?=$CONFIG_RBD" >> CONFIG.local fi +python scripts/genconfig.py > config.h + echo "done." echo "Type 'make' to build."