about summary refs log tree commit diff
path: root/src/ci/exec-with-shell.py
blob: 26ce69e33d9c3ea14450b82061ac05a0a88874b6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#!/usr/bin/env python
# A simple wrapper that forwards the arguments to bash, unless the
# CI_OVERRIDE_SHELL environment variable is present: in that case the content
# of that environment variable is used as the shell path.

import os
import sys
import subprocess

try:
    shell = os.environ["CI_OVERRIDE_SHELL"]
except KeyError:
    shell = "bash"

res = subprocess.call([shell] + sys.argv[1:])
sys.exit(res)