redo.sh: skip kiki rebuild

1 files changed, 3 insertions, 1 deletions

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/