From 4eb0ac11229aba304fc584aef9413be04d6bbb1f Mon Sep 17 00:00:00 2001 From: Andrew Cady Date: Wed, 7 Feb 2018 17:52:18 -0500 Subject: redo.sh: skip kiki rebuild --- redo.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'redo.sh') diff --git a/redo.sh b/redo.sh index 703b830..562759f 100755 --- a/redo.sh +++ b/redo.sh @@ -1,9 +1,11 @@ #!/bin/sh +skip_kiki_build=y + set -ex instdir=/home/d/sami/iso/debootstrap/jess sudo make install (cd ~/sami && sudo make instdir=${instdir} install install-configuration) -(cd ~/src/kiki && stack install && sudo cp ~/.local/bin/*kiki ${instdir}/usr/local/bin/) +(cd ~/src/kiki && ([ "$skip_kiki_build" ] || stack install) && sudo cp ~/.local/bin/*kiki ${instdir}/usr/local/bin/) sudo touch /usr/local/lib/samizdat-rhizome/initramfs-tools/ sudo initrd.sh sudo cp -a /usr/local/lib/samizdat-rhizome/isolinux/linux/* ~/sami/iso/debootstrap/jess/usr/local/lib/samizdat-rhizome/isolinux/linux/ -- cgit v1.2.3