gnustep/tools-make
0
0
Fork 0
mirror of https://github.com/gnustep/tools-make.git synced 2025-04-23 22:33:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

More portable sed command

Browse source
This commit is contained in:
rfm 2025-03-09 15:18:13 +00:00
parent e3bbdd276b
commit 0cf679c1b6
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
configure vendored
View file

@ -10098,7 +10098,7 @@ else
MISSINGBASH=NO
BVER=`$SHELLPROG -c 'echo $BASH_VERSION'`
BMAJ=`echo $BVER | sed -e 's/\..*//'`
BMIN=`echo $BVER | sed -e 's/^[0-9]\+\.\([0-9]\+\).*/\1/'`
BMIN=`echo $BVER | sed -e 's/^[0-9][0-9]*\.\([0-9][0-9]*\).*/\1/'`
if test ${BMAJ} -lt 4
then
MISSINGBASH=YES

2
configure.ac
View file

@ -1805,7 +1805,7 @@ else
MISSINGBASH=NO
BVER=`$SHELLPROG -c 'echo $BASH_VERSION'`
BMAJ=`echo $BVER | sed -e 's/\..*//'`
BMIN=`echo $BVER | sed -e 's/^[[0-9]]\+\.\([[0-9]]\+\).*/\1/'`
BMIN=`echo $BVER | sed -e 's/^[[0-9]][[0-9]]*\.\([[0-9]][[0-9]]*\).*/\1/'`
if test ${BMAJ} -lt 4
then
MISSINGBASH=YES