diff options
Diffstat (limited to 'lang/ghc5/files/patch-configure')
| -rw-r--r-- | lang/ghc5/files/patch-configure | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/lang/ghc5/files/patch-configure b/lang/ghc5/files/patch-configure deleted file mode 100644 index 35b9e011265e..000000000000 --- a/lang/ghc5/files/patch-configure +++ /dev/null @@ -1,19 +0,0 @@ -*** configure~ Fri Nov 2 12:49:24 2001 ---- configure Thu Jan 24 21:51:56 2002 -*************** -*** 2593,2599 **** - test ${h1} -lt ${h2} - ) - then -! { echo "configure: error: Happy version 1.9 or later is required to compile GHC." 1>&2; exit 1; } - - fi - fi ---- 2593,2599 ---- - test ${h1} -lt ${h2} - ) - then -! # { echo "configure: error: Happy version 1.9 or later is required to compile GHC." 1>&2; exit 1; } - - fi - fi |