blob: 35b9e011265ef0dcf7897e36e99db547f6ef2704 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
*** 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
|
