diff --git a/configure b/configure index e90277be09..1eed98774f 100755 --- a/configure +++ b/configure @@ -482,6 +482,7 @@ print_config(){ echo "${pfx}${ucname}=yes" >> $makefile else echo "#define ${pfx}${ucname} 0" >> $header + echo "!${pfx}${ucname}=yes" >> $makefile fi done }