diff options
Diffstat (limited to 'jenkins.sh')
-rwxr-xr-x | jenkins.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/jenkins.sh b/jenkins.sh deleted file mode 100755 index 1dc6b58..0000000 --- a/jenkins.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -set -e - -make clean -rm -f olm-*.tgz - -make lib -make test - -. ~/.emsdk_set_env.sh -make js -(cd javascript && npm install && npm run test) -npm pack javascript |