git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8549 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
e51617ee39
commit
6f8790a358
|
@ -157,7 +157,7 @@ end
|
|||
fun main (name:string,args:(string list)) =
|
||||
let
|
||||
val prgName = (hd o rev) (String.fields (fn s => s = #"/" orelse s = #"\\") name);
|
||||
val _ = Logger.set_log_level Logger.WARN
|
||||
val _ = Logger.set_log_level Logger.LWARN
|
||||
in
|
||||
case (prgName,args) of
|
||||
(n, []) => print_usage n
|
||||
|
|
Loading…
Reference in New Issue