Use lengthIs and friends in more places
[ghc.git] / boot
diff --git a/boot b/boot
index 18d43aa..45f5bf0 100755 (executable)
--- 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;