[m-rev.] diff: bootcheck: work around Cygwin check_namespace problem

[Fergus Henderson]

Estimated hours taken: 0.5
Branches: main

tools/bootcheck:
	Work-around a bug with the -nostdinc option in gcc 2.95 on Cygwin:
	don't enable check_namespace by default if we're on Cygwin.

Workspace: /home/ceres/fjh/mercury
Index: tools/bootcheck
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/bootcheck,v
retrieving revision 1.137
diff -u -d -p -r1.137 bootcheck
--- tools/bootcheck	2 Sep 2002 03:40:40 -0000	1.137
+++ tools/bootcheck	24 Sep 2002 13:41:20 -0000
@@ -127,7 +127,15 @@ make_opts="-k"
 outfile=""
 runtests=true
 do_bootcheck=true
-check_namespace=true
+if [ -f /bin/cygwin1.dll ]; then
+	# Don't run check_namespace on Cygwin, unless explicitly asked,
+	# because the `-nostdinc' option doesn't work with gcc 2.95 on Cygwin.
+	# (This has been fixed in later versions of gcc, e.g. 3.2, so
+	# we should reenable this at some point...)
+	check_namespace=false
+else
+	check_namespace=true
+fi
 grade=
 target=c
 test_grade=
@@ -240,6 +248,8 @@ while [ $# -gt 0 ]; do
 	-p|--copy-profiler)
 		copy_profiler=true ;;
 
+	--check-namespace)
+		check_namespace=true ;;
 	--no-check-namespace)
 		check_namespace=false ;;
 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------