[Hol-checkins] CVS: hol98/tools/Holmake Holmake.sml,1.31,1.32

[Michael N. <mic...@us...>]

Update of /cvsroot/hol/hol98/tools/Holmake
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv12757

Modified Files:
	Holmake.sml 
Log Message:
Mention the --logging option in the usage output.


Index: Holmake.sml
===================================================================
RCS file: /cvsroot/hol/hol98/tools/Holmake/Holmake.sml,v
retrieving revision 1.31
retrieving revision 1.32
diff -b -C2 -d -r1.31 -r1.32
*** Holmake.sml	15 Jul 2004 02:44:30 -0000	1.31
--- Holmake.sml	15 Oct 2004 05:14:53 -0000	1.32
***************
*** 1299,1302 ****
--- 1299,1303 ----
       "    --interactive | -i   : run HOL with \"interactive\" flag set\n",
       "    --keep-going | -k    : don't stop on failure\n",
+      "    --logging            : do per-theory time logging\n",
       "    --mosmldir directory : use specified directory as MoscowML root\n",
       "    --no_holmakefile     : don't use any Holmakefile\n",