On 9/19/22 07:12, Vincent Fu wrote:
On 9/18/22 23:33, Rebecca Cran wrote:
It looks like commit 7ff204c83595cd7d6b7b6a813d9fda97afd25198
introduced an error on some systems such as FreeBSD, whose grep
doesn't support -P.
num() {
echo "$1" | grep -P -q "^[0-9]+$"
}
./configure now reports:
grep: The -P option is not supported
seed_buckets 4
Is -P required?
Hello Bex,
Does it work for you to replace -P with -E?
Alternatively, what if we replaced grep with
test "$1" -eq "$1" 2>/dev/null
Replacing it with -E works.
--
Rebecca Cran
