diff options
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index d773c5aaf6..2f9e2db528 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1422,7 +1422,7 @@ VERBOSEOPT=-v | |||
1422 | endif | 1422 | endif |
1423 | 1423 | ||
1424 | # old 'make' versions don't have the built-in 'info' function | 1424 | # old 'make' versions don't have the built-in 'info' function |
1425 | info=old\$(warning Consider upgrading to GNU make 3.81+ for optimum build performance.) | 1425 | info=old\$(shell echo >&2 "Consider upgrading to GNU make 3.81+ for optimum build performance.") |
1426 | ifeq (\$(call info),old) | 1426 | ifeq (\$(call info),old) |
1427 | export info=echo "\$\$(1)"; | 1427 | export info=echo "\$\$(1)"; |
1428 | endif | 1428 | endif |