[m-rev.] trivial diff: improve submit_patch error message

[Fergus Henderson]

Estimated hours taken: 0.05
Branches: main

tools/submit_patch:
	Improve error message.

Workspace: /mnt/ceres/home/ceres/fjh/mercury
Index: tools/submit_patch
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/submit_patch,v
retrieving revision 1.4
diff -u -d -r1.4 submit_patch
--- tools/submit_patch	22 Sep 2002 21:48:12 -0000	1.4
+++ tools/submit_patch	22 Feb 2003 09:52:35 -0000
@@ -186,7 +186,7 @@
 
     if [ $# -ne 2 ]; then
 	echo "$0: wrong number of arguments" 1>&2
-	echo "usage: $0 <log message file> <patch file>" 1>&2
+	echo "usage: $0 [options] <log message file> <patch file>" 1>&2
 	echo "Use \`--help' for help." 1>&2
 	exit 1
     fi

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------