diff options
author | Dick Porter <dick@acm.org> | 2002-05-01 14:50:54 +0400 |
---|---|---|
committer | Dick Porter <dick@acm.org> | 2002-05-01 14:50:54 +0400 |
commit | c356e2c07ca7c8fa242f687c4ab5ea1849910f62 (patch) | |
tree | e100bec989fd8a50f347e751fde2719aeb860f41 /web/mono-build-w32.sh | |
parent | 52b3d45d86f6e7669c4e1b79973e862f7536d40c (diff) |
Use the cygwin stable autotools, code from Serge.
svn path=/trunk/mono/; revision=4191
Diffstat (limited to 'web/mono-build-w32.sh')
-rwxr-xr-x | web/mono-build-w32.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/web/mono-build-w32.sh b/web/mono-build-w32.sh index a1f141a718d..28768d97df8 100755 --- a/web/mono-build-w32.sh +++ b/web/mono-build-w32.sh @@ -42,6 +42,11 @@ fi cvs checkout mono || exit -1 +if [ ! -z "${AUTO_STABLE}" -o -e /usr/autotool/stable ]; then + export AUTO_STABLE=${AUTO_STABLE:-/usr/autotool/stable} + export AUTO_DEVEL=${AUTO_STABLE} +fi + # Need to install pkgconfig and set ACLOCAL_FLAGS if there is not a # pkgconfig installed already. Otherwise set PKG_CONFIG_PATH to the # glib we're about to install in $here/install. This script could |