diff options
| -rwxr-xr-x | tools/gate_run.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/gate_run.sh b/tools/gate_run.sh new file mode 100755 index 000000000..89db9de52 --- /dev/null +++ b/tools/gate_run.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +tools/setup_gate.sh +tox -e $ACTION-$BASE_DISTRO-$INSTALL_TYPE |