configure: change grep -P to grep -E
authorVincent Fu <vincent.fu@samsung.com>
Mon, 19 Sep 2022 13:34:13 +0000 (09:34 -0400)
committerVincent Fu <vincent.fu@samsung.com>
Mon, 19 Sep 2022 13:42:14 +0000 (09:42 -0400)
grep -P is not supported on FreeBSD. So use grep -E when we check
whether the value provided for --seed-buckets is a number or not.

Reported-by: Rebecca Cran <rebecca@bsdio.com>
Link: https://lore.kernel.org/fio/26076f36-54d5-ca6e-0b96-a7371b1c5e49@bsdio.com/T/#t
Signed-off-by: Vincent Fu <vincent.fu@samsung.com>
configure

index 7741ef4fd850853aa4ba60a7453c15f927f89b8e..546541a29542ecee25a0665eb31cbab11ecf0837 100755 (executable)
--- a/configure
+++ b/configure
@@ -117,7 +117,7 @@ has() {
 }
 
 num() {
-  echo "$1" | grep -P -q "^[0-9]+$"
+  echo "$1" | grep -E -q "^[0-9]+$"
 }
 
 check_define() {