diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-07-27 16:01:55 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-07-27 17:47:59 -0700 |
commit | 6e1eeeebfb453fa7c871869c19375ce60fbd7413 (patch) | |
tree | 539c4a3fdf1756ae79770d5c4aaf6366f1d1525e /archive/2.vm/copy_mu | |
parent | 8846a7f85cc04b77b2fe8a67b6d317723437b00c (diff) | |
download | mu-6e1eeeebfb453fa7c871869c19375ce60fbd7413.tar.gz |
5485 - promote SubX to top-level
Diffstat (limited to 'archive/2.vm/copy_mu')
-rwxr-xr-x | archive/2.vm/copy_mu | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/archive/2.vm/copy_mu b/archive/2.vm/copy_mu new file mode 100755 index 00000000..cd4da455 --- /dev/null +++ b/archive/2.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 |