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