Replace all #!/usr/bin/perl with #!/usr/bin/env perl

As suggested in #9057.

4 files changed, 10 insertions, 4 deletions

diff --git a/boot b/boot
index 676f434bdb..8977eaf9a3 100755
--- a/boot
+++ b/boot
@@ -1,5 +1,6 @@
-#!/usr/bin/perl -w
+#!/usr/bin/env perl
 
+use warnings;
 use strict;
 
 use Cwd;
diff --git a/distrib/remilestoning.pl b/distrib/remilestoning.pl
index a544ddaf17..60a23af518 100644
--- a/distrib/remilestoning.pl
+++ b/distrib/remilestoning.pl
@@ -1,5 +1,6 @@
-#!/usr/bin/perl
+#!/usr/bin/env perl
 
+use warnings;
 use strict;
 
 use DBI;
diff --git a/sync-all b/sync-all
index e43a6f682e..ffc150ec08 100755
--- a/sync-all
+++ b/sync-all
@@ -1,5 +1,6 @@
-#!/usr/bin/perl -w
+#!/usr/bin/env perl
 
+use warnings;
 use strict;
 use Cwd;
 use English;
diff --git a/utils/genargs/genargs.pl b/utils/genargs/genargs.pl
index 2ef2dfa3e6..33dd2a0c8c 100644
--- a/utils/genargs/genargs.pl
+++ b/utils/genargs/genargs.pl
@@ -1,4 +1,7 @@
-#!/usr/bin/perl
+#!/usr/bin/env perl
+
+use warnings;
+
 my $quote_open = 0;
 my $quote_char = '';
 my $accum = "";