From 1dda1efc1d6b1c9eace792cf2f1e1e56d0060ed7 Mon Sep 17 00:00:00 2001 From: John Kerl Date: Sat, 25 Dec 2021 00:04:49 -0500 Subject: [PATCH] Don't use sed -I in ./configure (#800) * Function-pointerize IXS/IXSRegex to reduce runtime iffelsing * remove IsRegexString and SuppressIXSRegex * regression tests passing * doc updates * Don't use sed -I in ./configure --- configure | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/configure b/configure index e6e7dbb73..ac4934674 100755 --- a/configure +++ b/configure @@ -1,5 +1,7 @@ #!/bin/bash +set -euo pipefail + usage() { echo "Usage: $0 [--prefix {prefix directory}], e.g. /usr/local" 2>&1 echo " or $0 [--prefix={prefix directory}], e.g. /usr/local" 2>&1 @@ -37,11 +39,12 @@ if [ ! -d "$prefix" ]; then exit 1 fi -sed -I .prefix-backup 's@^PREFIX.*@PREFIX='$prefix'@' Makefile -rm Makefile.prefix-backup +ext=".prefix-backup" +sed 's@^PREFIX.*@PREFIX='$prefix'@' Makefile > Makefile.$ext +mv Makefile.$ext Makefile echo Updated Makefile -sed -I .prefix-backup 's@^PREFIX.*@PREFIX='$prefix'@' man/Makefile -rm man/Makefile.prefix-backup +sed 's@^PREFIX.*@PREFIX='$prefix'@' man/Makefile > man/Makefile.$ext +mv man/Makefile.$ext man/Makefile echo Updated man/Makefile