diff options
Diffstat (limited to 'patch-checklist.bash')
| -rw-r--r-- | patch-checklist.bash | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/patch-checklist.bash b/patch-checklist.bash index be2d83ec1bf..a0f1174450c 100644 --- a/patch-checklist.bash +++ b/patch-checklist.bash @@ -48,7 +48,7 @@ $DEVGUIX size $PACKAGE $DEVGUIX refresh --list-dependent $PACKAGE # 10. Check if build is deterministic -$DEVGUIX build --rounds=2 --check $PACKAGE +$DEVGUIX build -q --rounds=2 --check $PACKAGE # 11. Gender neutral wording. @@ -64,4 +64,5 @@ autoreconf -vif make -j 4 # 16. Run a guix pull -$DEVGUIX pull --url=$PWD --profile=/tmp/guix.temp --disable-authentication +# -q to make sure local channel settings are ignored +$DEVGUIX pull -q --url=$PWD --profile=/tmp/guix.temp --disable-authentication |