ref: 36f88d5d35f10366237a92f1e11a0b0f33aa6eef
parent: 0a2f731ecf9f8ba57817cb33d127fd92d530a915
author: Ori Bernstein <ori@eigenstate.org>
date: Mon Jan 14 19:07:16 EST 2019
And a bit more tweaking: Just git-reset.
--- a/rebootstrap.sh
+++ b/rebootstrap.sh
@@ -42,14 +42,16 @@
linux|macos)
makeprg=make
vcs=git
- buildcmd="cd '$wrkdir/mc' && $setpath && ./configure --prefix=$wrkdir/root
- $makeprg bootstrap && $makeprg install && $makeprg clean && git pull &&
+ buildcmd="cd '$wrkdir/mc' && $setpath && git reset --hard &&
+ ./configure --prefix=$wrkdir/root &&
+ $makeprg bootstrap && $makeprg install && git pull &&
$makeprg genbootstrap && $vcs diff > update.patch"
;;
*)
- buildcmd="cd '$wrkdir/mc' && $setpath && ./configure --prefix=$wrkdir/root
- $makeprg bootstrap && $makeprg install && $makeprg clean && git pull &&
+ buildcmd="cd '$wrkdir/mc' && $setpath && git reset --hard &&
+ ./configure --prefix=$wrkdir/root &&
+ $makeprg bootstrap && $makeprg install && git pull &&
$makeprg genbootstrap && $vcs diff > update.patch"
;;
esac