Commit 60a5abeb authored by Mislav Marohnić's avatar Mislav Marohnić
Browse files

Fix stripping away non-digits from OS release number

parent 0e58079d
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -1032,7 +1032,7 @@ if "${CC:-cc}" -x c /dev/null -E -Wno-error=shorten-64-to-32 &>/dev/null; then
fi

if [ -z "$MAKE" ]; then
  if [ "FreeBSD" = "$(uname -s)" ] && [ "$(uname -r | grep -o '[0-9]*')" -lt 10 ]; then
  if [ "FreeBSD" = "$(uname -s)" ] && [ "$(uname -r | sed 's/[^[:digit:]].*//')" -lt 10 ]; then
    export MAKE="gmake"
  else
    export MAKE="make"