commit 24e0799c77ce620d985b8a0cb0aea1951e194f07 parent 085df46f429fd5643ac800a53dd410f187dd9df4 Author: Raymond Li <hi@raymond.li> Date: Tue, 30 Mar 2021 17:16:02 -0400 Default to disable-sanitizers Diffstat:
| M | build.sh | | | 20 | ++++++++++++++++++-- |
1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh @@ -1,4 +1,20 @@ -#!/bin/bash +#!/bin/sh -x + +configureOpts="--disable-sanitizers" + +while getopts ":hd" opt; do + case ${opt} in + h ) echo "Use -d to turn on sanitizers (for debugging only)" + exit;; + d ) configureOpts="" + ;; + \? ) echo "Usage: $0 [-h] [-d]" + exit;; + esac +done + +configureOpts="${configureOpts} --prefix=/usr --sysconfdir=/etc" + autoreconf -fiv BUILD_DIR=build/ @@ -6,6 +22,6 @@ rm -rf $BUILD_DIR mkdir -vp $BUILD_DIR cd $BUILD_DIR || { echo "cd $BUILD_DIR"; exit 127; } -../configure --prefix=/usr --sysconfdir=/etc +../configure ${configureOpts} make