mirror of
https://github.com/johnkerl/miller.git
synced 2026-01-22 18:06:52 +00:00
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
This commit is contained in:
parent
096bb9bc12
commit
1dda1efc1d
1 changed files with 7 additions and 4 deletions
11
configure
vendored
11
configure
vendored
|
|
@ -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
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue