1 files changed, 3 insertions, 0 deletions
diff --git a/boot b/boot
index 18d43aabda..45f5bf06c2 100755
--- a/boot
+++ b/boot
@@ -11,6 +11,9 @@ my %required_tag;
 my $validate;
 my $curdir;
 
+# See Trac #11530
+$ENV{GREP_OPTIONS} = '';
+
 $required_tag{"-"} = 1;
 $validate = 0;