[m-dev.] diff: fix --thread-safe bug in scripts/ml.in

[Fergus Henderson]

Estimated hours taken: 0.25

scripts/ml.in:
	Fix a bug: with --thread-safe, for dec-alpha-osf3.2,
	it was linking with the wrong thread libraries.

Workspace: /home/mercury0/fjh/mercury
Index: scripts/ml.in
===================================================================
RCS file: /home/mercury1/repository/mercury/scripts/ml.in,v
retrieving revision 1.75
diff -u -d -r1.75 ml.in
--- ml.in	1999/12/21 09:56:46	1.75
+++ ml.in	2000/02/07 07:38:14
@@ -467,7 +467,11 @@
 case $thread_safe in
 	true)
 		case "$FULLARCH" in
-		*-osf*)		THREAD_LIBS="-lpthreads -lc_r" ;;
+ 		*-osf*)		# Older versions of OSF may require
+				# "-lpthreads -lc_r" (?), but at least
+				# for OSF 3.2, no special libraries are
+				# needed.
+				THREAD_LIBS="" ;;
 		*-linux*)	THREAD_LIBS="-lpthread" ;;
 		*-solaris*)	THREAD_LIBS="-lpthread -ldl" ;;
 		*)		echo "$0: warning: don't know which" \

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------