ref: 0a2f731ecf9f8ba57817cb33d127fd92d530a915
parent: 3dcee053786448f3479a929791cf6a474ae8c035
author: Ori Bernstein <ori@eigenstate.org>
date: Mon Jan 14 18:55:44 EST 2019
Make rebootstrapping more robust.
--- a/rebootstrap.sh
+++ b/rebootstrap.sh
@@ -18,7 +18,7 @@
vcs=git
remotecmd="ssh $host"
setpath="mkdir -p $wrkdir/root/bin && export PATH=$PATH:$wrkdir/root/bin"
- showpatch="cd '$wrkdir/mc' && cat update.patch && rm -f update.patch"
+ showpatch="cd '$wrkdir/mc' && cat update.patch"
case $os in
plan9)
if echo $host | grep '@' > /dev/null; then
@@ -54,8 +54,9 @@
;;
esac
+ $remotecmd "rm -f $wrkdir/mc/update.patch"
$remotecmd "$buildcmd"
- $remotecmd "$showpatch" | patch -p1
+ $remotecmd "$showpatch" | patch -p1 || true
}
while IFS= read -r desc; do