[m-rev.] trivial diff: s/echo/printf/ in extras/gator/gator

[Samrith UONG]

Estimated hours taken: 0.1

extras/gator/gator:
        s/echo/printf/

cvs diff: Diffing .
Index: gator
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/extras/gator/gator,v
retrieving revision 1.2
diff -u -r1.2 gator
--- gator       17 Feb 2006 05:23:25 -0000      1.2
+++ gator       20 Feb 2006 01:09:46 -0000
@@ -237,7 +237,7 @@
        # Print the top $count individuals in the history of the evolution.
        #

-       echo "==> Current top %d\n" $n >&2
+       printf "==> Current top %d\n" $n >&2
        sort -rnk3 generations/*/ladder | grep -v '[0-9]e-' | head -n $count |
            sed -e 's/[         ]*$//'
 done
cvs diff: Diffing generations
cvs diff: Diffing generations/1

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