diff options
author | Jan Nieuwenhuizen <janneke@gnu.org> | 2016-09-15 22:50:42 +0200 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2016-09-23 16:16:29 +0200 |
commit | fca42b010e56532fded536534ccb15b078a33e77 (patch) | |
tree | 39cd0215f7b52c3ef97477fa8c15f9640d9585b9 /bin/cuirass.in | |
parent | ff7c3a11f2b32336cb185479ae7ab0a864644715 (diff) | |
download | cuirass-fca42b010e56532fded536534ccb15b078a33e77.tar cuirass-fca42b010e56532fded536534ccb15b078a33e77.tar.gz |
cuirass: Optionally support using of substitutes.
* bin/cuirass.in (options): Add --use-substitutes.
(show-help): Idem.
(main): Set %use-substitutes?.
Signed-off-by: Mathieu Lirzin <mthl@gnu.org>
Diffstat (limited to 'bin/cuirass.in')
-rw-r--r-- | bin/cuirass.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/cuirass.in b/bin/cuirass.in index 553a5d0..88813b8 100644 --- a/bin/cuirass.in +++ b/bin/cuirass.in @@ -35,6 +35,7 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" Add specifications from SPECFILE to database. -D --database=DB Use DB to store build results. -I, --interval=N Wait N seconds between each poll + --use-substitutes Allow usage of pre-built substitutes -V, --version Display version -h, --help Display this help message") (newline) @@ -46,6 +47,7 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" (specifications (single-char #\S) (value #t)) (database (single-char #\D) (value #t)) (interval (single-char #\I) (value #t)) + (use-substitutes (value #f)) (version (single-char #\V) (value #f)) (help (single-char #\h) (value #f)))) @@ -60,7 +62,8 @@ exec ${GUILE:-@GUILE@} --no-auto-compile -e main -s "$0" "$@" ((%program-name (car args)) (%package-database (option-ref opts 'database (%package-database))) (%package-cachedir - (option-ref opts 'cache-directory (%package-cachedir)))) + (option-ref opts 'cache-directory (%package-cachedir))) + (%use-substitutes? (option-ref opts 'use-substitutes #f))) (cond ((option-ref opts 'help #f) (show-help) |