[m-rev.] for review: use sed in tools/binary

[Peter Wang]

Branches: main

tools/binary:
	Replace use of non-standard `sub' utility by `sed'.

Index: tools/binary
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/binary,v
retrieving revision 1.31
diff -u -r1.31 binary
--- tools/binary	30 May 2008 02:04:51 -0000	1.31
+++ tools/binary	12 Jun 2008 01:29:24 -0000
@@ -520,7 +520,7 @@
 if test "$allmodules" = ""
 then
     cd stage2/$testeddir
-    allmodules=`sub X.c X *.c`
+    allmodules=`echo *.c '' | sed -e 's:\.c : :g'`
     cd $root
 else
     for module in $allmodules

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------