(ITS#6311) configure --enable-dds/--enable-deref broken

Full_Name: Hallvard B Furuseth Version: HEAD OS: URL: Submission from: (NULL) (129.240.6.233) Submitted by: hallvard configure.in says if test "$ol_enable_deref" != no ; then BUILD_DDS=$ol_enable_deref instead of BUILD_DEREF=$ol_enable_deref That breaks e.g. --enable-dds --disable-deref. Also BUILD_DEREF is not initialized and has no AC_SUBST(). Is deref supposed to be in configure?