trivial diff: scripts/ml.in: order of -rpath options

[Fergus Henderson]

scripts/ml.in:
	Make the user's `-R' (`-rpath') options precede the Mercury ones.
	This allows the user to use their own local copies of the
	Mercury shared libraries.

Index: ml.in
===================================================================
RCS file: /home/staff/zs/imp/mercury/scripts/ml.in,v
retrieving revision 1.31
diff -u -r1.31 ml.in
--- ml.in	1997/07/27 15:09:35	1.31
+++ ml.in	1997/10/06 07:07:01
@@ -258,7 +258,7 @@
 
 RPATH_OPT_LIST=
 prev=""
-for dir in $merc_shlib_dirs $user_shlib_dirs 'kludge for broken shells'; do
+for dir in $user_shlib_dirs $merc_shlib_dirs 'kludge for broken shells'; do
     case "$dir" in
 	'kludge for broken shells')
 	    ;;

-- 
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.