summaryrefslogtreecommitdiff
path: root/rebootstrap.sh
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2019-01-15 00:07:16 -0800
committerOri Bernstein <ori@eigenstate.org>2019-01-15 00:07:16 -0800
commit36f88d5d35f10366237a92f1e11a0b0f33aa6eef (patch)
tree1dad934ad150a1f0dfda4df8076ad6612ba92155 /rebootstrap.sh
parent0a2f731ecf9f8ba57817cb33d127fd92d530a915 (diff)
downloadmc-36f88d5d35f10366237a92f1e11a0b0f33aa6eef.tar.gz
And a bit more tweaking: Just git-reset.
Diffstat (limited to 'rebootstrap.sh')
-rwxr-xr-xrebootstrap.sh10
1 files changed, 6 insertions, 4 deletions
diff --git a/rebootstrap.sh b/rebootstrap.sh
index 6b7cc25..12d0abb 100755
--- a/rebootstrap.sh
+++ b/rebootstrap.sh
@@ -42,14 +42,16 @@ build()
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