diff --git a/deploy_build.sh b/deploy_build.sh deleted file mode 100755 index c5b3f71ff..000000000 --- a/deploy_build.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/usr/bin/env bash - -mkdir tmp-lama -cp runtime/Std.i tmp-lama -cp runtime/runtime.a tmp-lama -cp -R stdlib/* tmp-lama