diff --git a/.kokoro/build.bat b/.kokoro/build.bat deleted file mode 100644 index 3858469f..00000000 --- a/.kokoro/build.bat +++ /dev/null @@ -1,4 +0,0 @@ -:: See documentation in type-shell-output.bat - -cd /d %~dp0 -"C:\Program Files\Git\bin\bash.exe" build.sh \ No newline at end of file diff --git a/.kokoro/build.sh b/.kokoro/build.sh deleted file mode 100644 index 2d3a42c8..00000000 --- a/.kokoro/build.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash - -set -e - -SCRIPT=$(readlink -f "$0") -SCRIPT_DIR=$(dirname "$SCRIPT") - -cd $SCRIPT_DIR -cd .. - -./build.sh \ No newline at end of file