From 2a4088119cf41175457414dfa59bd4064b8f0562 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Wed, 1 Jan 2020 17:04:37 -0800 Subject: 5852 --- archive/1.vm/copy_mu | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 archive/1.vm/copy_mu (limited to 'archive/1.vm/copy_mu') diff --git a/archive/1.vm/copy_mu b/archive/1.vm/copy_mu new file mode 100755 index 00000000..cd4da455 --- /dev/null +++ b/archive/1.vm/copy_mu @@ -0,0 +1,11 @@ +#!/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 -- cgit 1.4.1-2-gfad0