src/ci/exec-with-shell.py

   1 #!/usr/bin/env python
   2 # A simple wrapper that forwards the arguments to bash, unless the
   3 # CI_OVERRIDE_SHELL environment variable is present: in that case the content
   4 # of that environment variable is used as the shell path.
   5
   6 import os
   7 import sys
   8 import subprocess
   9
  10 try:
  11     shell = os.environ["CI_OVERRIDE_SHELL"]
  12 except KeyError:
  13     shell = "bash"
  14
  15 res = subprocess.call([shell] + sys.argv[1:])
  16 sys.exit(res)