diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2016-07-26 16:17:54 +0200 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2016-07-27 14:17:09 +0200 |
commit | 0225d696424b0826af210fdeef770a2310252c64 (patch) | |
tree | bf09fd85c37a944d42a2aca3d41648961e61f95e | |
parent | 719c12686372142be6fe9de198999b527ba50b16 (diff) | |
download | cuirass-0225d696424b0826af210fdeef770a2310252c64.tar cuirass-0225d696424b0826af210fdeef770a2310252c64.tar.gz |
cuirass: show-help: Use 'poll' terminology.
* bin/cuirass.in (show-help): Use 'poll' terminology.
-rw-r--r-- | bin/cuirass.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/cuirass.in b/bin/cuirass.in index c8a1167..92a0426 100644 --- a/bin/cuirass.in +++ b/bin/cuirass.in @@ -40,7 +40,7 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" -S --specifications=SPECFILE Add specifications from SPECFILE to database. -D --database=DB Use DB to store build results. - -I, --interval=N Wait N seconds between each evaluation + -I, --interval=N Wait N seconds between each poll -V, --version Display version -h, --help Display this help message") (newline) |