projects
/
jmiddeke
/
LU.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ef59eee
)
Changed the usage message.
author
Johannes Middeke
<j-middeke@t-online.de>
Tue, 10 May 2016 15:24:03 +0000
(11:24 -0400)
committer
Johannes Middeke
<j-middeke@t-online.de>
Tue, 10 May 2016 15:24:03 +0000
(11:24 -0400)
test.ml
patch
|
blob
|
history
diff --git
a/test.ml
b/test.ml
index
ae28460
..
bd6531d
100644
(file)
--- a/
test.ml
+++ b/
test.ml
@@
-182,8
+182,8
@@
and anonymous e =
let msg = Printf.sprintf "Unknown argument %s.\n" e in
failwith msg
and usage =
- Printf.sprintf "
%s (--factors|--experiment) --size N --times N.
"
- Sys.executable_name
+ Printf.sprintf "
USAGE: %s (--factors|--degrees) --size N --times N
"
+ (Filename.basename Sys.executable_name)