diff options
Diffstat (limited to 'tools/gate_run.sh')
| -rwxr-xr-x | tools/gate_run.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/tools/gate_run.sh b/tools/gate_run.sh deleted file mode 100755 index 07f5e3574..000000000 --- a/tools/gate_run.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/bash - -set -o errexit -set -o xtrace - -# exist when the jobs is not project jobs. -if [[ -z $IN_PROJECT_JOBS ]]; then - exit 0 -fi - -tools/setup_gate.sh -tox -e $ACTION-$BASE_DISTRO-$INSTALL_TYPE - -if [[ -n $PACK_REGISTRY ]] && [[ $ACTION == "build" ]]; then - pack_registry -fi |
