hol --help

Open myreen opened this issue 11 years ago • 2 comments

I can't seem to find any documentation about command-line arguments for hol. Holmake's command-line arguments are well documented, both in the Description and also Holmake --help.

Are there command-line arguments for hol? If there are, then there should also be support for hol --help for listing the available command-line arguments.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.

Jun 12 '14 07:06 myreen

I agree there's no real documentation here. The short answer is that are no command-line arguments. This is basically because I don't know what to do to make the arguments handled uniformly across Windows and Unix.

Jun 23 '14 01:06 mn200

hol --help does produce output... But maybe it's not the output you want? This seems related to #1602

Aug 07 '25 11:08 xrchz