Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDick Porter <dick@acm.org>2002-05-01 14:50:54 +0400
committerDick Porter <dick@acm.org>2002-05-01 14:50:54 +0400
commitc356e2c07ca7c8fa242f687c4ab5ea1849910f62 (patch)
treee100bec989fd8a50f347e751fde2719aeb860f41 /web/mono-build-w32.sh
parent52b3d45d86f6e7669c4e1b79973e862f7536d40c (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-xweb/mono-build-w32.sh5
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