diff options
Diffstat (limited to 'src/libmain/shared.hh')
| -rw-r--r-- | src/libmain/shared.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh index 76b639e3785d..82da7550626f 100644 --- a/src/libmain/shared.hh +++ b/src/libmain/shared.hh @@ -17,6 +17,10 @@ void run(Strings args); /* Should print a help message to stdout and return. */ void printHelp(); +/* Ugh. No better place to put this. */ +Path makeRootName(const Path & gcRoot, int & counter); +void printGCWarning(); + extern string programId; |