Menu

#1 need cmd line opt for "tools.conf"

open
nobody
None
5
2003-08-14
2003-08-14
Kees Cook
No

Need to be able to specify the "tools.conf" file,
instead of forcing it to live in the "src" directory.

Discussion


Log in to post a comment.