chiark
/
gitweb
/
~ianmdlvl
/
otter.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2796ebd
)
make-release: Print commands we run due to --real
author
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 18 Apr 2021 23:41:26 +0000
(
00:41
+0100)
committer
Ian Jackson
<ijackson@chiark.greenend.org.uk>
Sun, 18 Apr 2021 23:41:26 +0000
(
00:41
+0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
make-release
patch
|
blob
|
history
diff --git
a/make-release
b/make-release
index 9059eb72847bea64e862831933cbf1584f573dd0..893cc856a5358f1917d978d8586e504531c92c3a 100755
(executable)
--- a/
make-release
+++ b/
make-release
@@
-15,7
+15,7
@@
dryrun=x-dry-run-unset
cargo_dryrun=--not-a-cargo-option-please-crash
case "$#.$1" in
-2.--real) dryrun=
''
; cargo_dryrun='' ; ;;
+2.--real) dryrun=
x
; cargo_dryrun='' ; ;;
2.--dry-run) dryrun=dryrun; cargo_dryrun='--dry-run'; ;;
*) fail "bad usage" ;;
esac
@@
-25,6
+25,7
@@
keyid=0x559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
branch="$2"
dryrun () { echo "WOULD $*"; }
+x () { echo >&2 "+ $*"; "$@"; }
trouble=false
trouble () { echo >&2 "***TROUBLE***: $*"; trouble=true; }