Remove pointless diagnostic.

diff --git a/util/mk1mf.pl b/util/mk1mf.pl
index 2ef5c775b332be04b9c76abab4d0080dc360aad0..5984498c30768584d264fcff98935c7c96549366 100755 (executable)
--- a/util/mk1mf.pl
+++ b/util/mk1mf.pl
@@ -323,7 +323,6 @@ else
 ##else
        { $cflags="$c_flags$cflags" if ($c_flags ne ""); }
 
-print STDERR "platform = $orig_platform\n";
 $cflags = $mf_cflag if $orig_platform eq 'auto';
 $cc = $mf_cc if $orig_platform eq 'auto';