configure: change grep -P to grep -E

[fio.git] / configure

diff --git a/configure b/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() {