[m-dev.] for review: set write permission in test_mercury

[Peter Ross]

Hi,

Hopefully this should allow anyone to navigate around the test
directories, if Fergus gets run over by a bus.


===================================================================


Estimated hours taken: 0.25

tools/test_mercury:
    When running the test_mercury script make the umask 002 so that
    write permission for group mercury will be set.


Index: test_mercury
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/test_mercury,v
retrieving revision 1.97
diff -u -r1.97 test_mercury
--- test_mercury	1999/06/01 08:04:38	1.97
+++ test_mercury	1999/07/29 02:10:05
@@ -33,6 +33,9 @@
 TMPDIR=/tmp
 export TMPDIR
 
+# Make the files writable by group mercury.
+umask 002
+
 #-----------------------------------------------------------------------------#
 
 DATE=`date '+%Y-%m-%d'`

----
 +----------------------------------------------------------------------+
 | Peter Ross      M Sci/Eng Melbourne Uni                              |
 | petdr at cs.mu.oz.au  WWW: www.cs.mu.oz.au/~petdr/ ph: +61 3 9344 9158  |
 +----------------------------------------------------------------------+
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------