diff options
| author | lns <matzeton@googlemail.com> | 2018-08-26 16:05:46 +0200 |
|---|---|---|
| committer | lns <matzeton@googlemail.com> | 2018-08-26 16:05:46 +0200 |
| commit | 6cd6fc810c759b17ab1d8eff648d22b38f1df230 (patch) | |
| tree | d05bba69fb9d3f033ec7f7239876c727bfc9834b | |
| parent | 9b79a529c0aa9ab4a1d63698aa19803e3103d418 (diff) | |
autogen.sh prints additional help message
Signed-off-by: lns <matzeton@googlemail.com>
| -rwxr-xr-x | autogen.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,3 +12,4 @@ fi set +x printf "\n%s\n" "You can now run \`./configure\` and \`make\`." +printf "%s\n" " (or run only \`make\` if potd is already configured)" |