diff options
Diffstat (limited to 'src/libmain/shared.hh')
| -rw-r--r-- | src/libmain/shared.hh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh index 8ea637fd2..76b639e37 100644 --- a/src/libmain/shared.hh +++ b/src/libmain/shared.hh @@ -6,8 +6,17 @@ #include "util.hh" +/* These are not implemented here, but must be implemented by a + program linking against libmain. */ + +/* Main program. Called by main() after the ATerm library has been + initialised and some default arguments have been processed (and + removed from `args'). main() will catch all exceptions. */ void run(Strings args); +/* Should print a help message to stdout and return. */ +void printHelp(); + extern string programId; |