Admin/isatest-makeall
changeset 17483 c6005bfc1630
parent 16617 edec7bf2186a
--- a/Admin/isatest-makeall	Mon Sep 19 12:05:08 2005 +0200
+++ b/Admin/isatest-makeall	Mon Sep 19 14:20:45 2005 +0200
@@ -18,9 +18,9 @@
 function usage()
 {
   echo
-  echo "Usage: $PRG distributionpath settings1 [settings2 ...]"
+  echo "Usage: $PRG settings1 [settings2 ...]"
   echo
-  echo "  Runs isatool makeall from specified distribution and settings."
+  echo "  Runs isatool makeall for specified settings."
   echo "  Leaves messages in ${ERRORLOG} and ${LOGPREFIX} if it fails."
   echo
   exit 1