diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # # Simple cmake wrapper script to make it behave more like autotools # @@ -228,7 +228,7 @@ if [ -z "${DB}" ]; then fi # Set default parameters for the SQLite3 database -if [ "${DB}" = "SQLite3" ]; then +if [[ ${DB} == *SQLite3* ]]; then PARAMS="${PARAMS} -DSQLITE3PREFIX:STIRNG=${SQLITE3PREFIX}" fi @@ -274,7 +274,7 @@ EOF echo " XSLT base path: ${XSLTPATH}" echo " eurephiadm XSLT path: ${EUREPHIADM_XSLT}" fi - if [ "${DB}" = "SQLite3" ]; then + if [[ ${DB} == *SQLite3* ]]; then echo " SQLite3 database path: ${SQLITE3PREFIX}" fi |