aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/protoc.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/protoc.sh')
-rwxr-xr-xscripts/protoc.sh14
1 files changed, 0 insertions, 14 deletions
diff --git a/scripts/protoc.sh b/scripts/protoc.sh
deleted file mode 100755
index 5771b95..0000000
--- a/scripts/protoc.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/usr/bin/env sh
-
-set -eu
-
-URL='https://raw.githubusercontent.com/google/nsjail/2.9/config.proto'
-SRC_DIR='snekbox'
-FILE_NAME='config'
-PROTO_PATH="${SRC_DIR}/${FILE_NAME}.proto"
-
-curl -SsL "${URL}" -o "${PROTO_PATH}"
-protoc --proto_path="${SRC_DIR}" --python_out="${SRC_DIR}" "${PROTO_PATH}"
-
-rm -f "${PROTO_PATH}"
-mv -f "${SRC_DIR}/${FILE_NAME}_pb"*.py "${SRC_DIR}/${FILE_NAME}.py"