summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure2
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
1422endif 1422endif
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
1425info=old\$(warning Consider upgrading to GNU make 3.81+ for optimum build performance.) 1425info=old\$(shell echo >&2 "Consider upgrading to GNU make 3.81+ for optimum build performance.")
1426ifeq (\$(call info),old) 1426ifeq (\$(call info),old)
1427export info=echo "\$\$(1)"; 1427export info=echo "\$\$(1)";
1428endif 1428endif