Fix when --disable-gpl-libxapian no specified
commitd7d3607a3dd53ad99ae7a724005cd4a7d08f0794
authorOlly Betts <olly@survex.com>
Thu, 19 Apr 2018 00:30:10 +0000 (19 12:30 +1200)
committerOlly Betts <olly@survex.com>
Thu, 19 Apr 2018 00:30:10 +0000 (19 12:30 +1200)
tree5951a314aa9adb6804053dc176cc7404ec19ea6d
parentfa0b75c00f186fd9ee8bac54aa219ff4e939f010
Fix when --disable-gpl-libxapian no specified

The previous change broke this case.
xapian-core/configure.ac