diff options
Diffstat (limited to 'patch-checklist.bash')
| -rw-r--r-- | patch-checklist.bash | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/patch-checklist.bash b/patch-checklist.bash index a0f1174450c..424e3e3a03a 100644 --- a/patch-checklist.bash +++ b/patch-checklist.bash @@ -20,6 +20,10 @@ then exit 1 fi +./bootstrap +./configure +make -j4 + DEVGUIX="./pre-inst-env guix" # 1. Check the cryptographic signature @@ -49,6 +53,12 @@ $DEVGUIX refresh --list-dependent $PACKAGE # 10. Check if build is deterministic $DEVGUIX build -q --rounds=2 --check $PACKAGE +if [ $? ] +then + echo "Build check succeeded!" +else + echo "Build check failed. $PACKAGE may not be deterministic." +fi # 11. Gender neutral wording. @@ -59,9 +69,7 @@ $DEVGUIX build -q --rounds=2 --check $PACKAGE # 14. Use mirrors of github repos: don't use GitHub archives. # 15. Check if Guix builds (see building from Git) -autoreconf -vif -./configure -make -j 4 +# skipping. done at the start. # 16. Run a guix pull # -q to make sure local channel settings are ignored |