From d0ae6bd6216d3c16aaa1cd6852a88717b266ee62 Mon Sep 17 00:00:00 2001 From: Andinus Date: Thu, 2 Apr 2020 13:31:52 +0530 Subject: Bump version to v0.6.3 --- README.org | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'README.org') diff --git a/README.org b/README.org index aefe327..c7d8467 100644 --- a/README.org +++ b/README.org @@ -68,7 +68,8 @@ it before running. *Warning*: Don't use random flag on BPOD, it has been disabled in v0.6.1 but v0.6.0 will cause issues if random flag is used with BPOD. -*Update*: This bug was fixed in v0.6.2, pre-built binary not yet uploaded. +*Update*: This bug was fixed in v0.6.2, pre-built binary not yet uploaded. If +possible use v0.6.3, latest version. =cetus set bpod -random # don't do this= -- cgit 1.4.1-2-gfad0 '>this commit Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.Kartik K. Agaram <vc@akkartik.com>

about summary refs log tree commit diff stats

path: root/copy_mu

blob: cd4da45559393d2c8ecfde3f3a308aa5012230ab (plain) (blame)

#!/usr/bin/env zsh
# Copy binaries across mu directories for different students on a single
# server, so we only need to build them once.

cp -r $1/enumerate/enumerate $2/enumerate
cp -r $1/cleave/cleave $2/cleave
rm -rf $2/.build
cp -r $1/.build $2
cp -r $1/mu_bin $2
cd $2
./mu  # couple of things still get recompiled, but should now be quick