HOL icon indicating copy to clipboard operation
HOL copied to clipboard

Holmake to take -C command-line option

Open mn200 opened this issue 12 years ago • 0 comments

As with normal make, this would allow an invocation that first has Holmake change its working directory and then proceed.

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

mn200 avatar May 06 '13 01:05 mn200