diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh
index 0236d8b8bfe..f372762c05d 100644
--- a/scripts/make_binary_distribution.sh
+++ b/scripts/make_binary_distribution.sh
@@ -279,7 +279,7 @@ then
   gcclib=`@CC@ --print-libgcc-file`
   if test $? -ne 0
   then
-    print "Warning: Couldn't find libgcc.a!"
+    echo "Warning: Couldn't find libgcc.a!"
   else
     $CP $gcclib libmygcc.a
   fi