lava: Run babeltrace-benchmark jobs with /bin/bash

pushd/popd are not available in /bin/sh

Change-Id: I051b305074979bb9e97f5eadab3a9f36ec029c90

diff --git a/scripts/babeltrace-benchmark/template_lava_job_bt_benchmark.jinja2 b/scripts/babeltrace-benchmark/template_lava_job_bt_benchmark.jinja2
index e37e08e98a3de32d8fcb5897640c14d22751e581..d53c61737da5d2efbe7c9fec18461063d37cba2b 100644 (file)
--- a/scripts/babeltrace-benchmark/template_lava_job_bt_benchmark.jinja2
+++ b/scripts/babeltrace-benchmark/template_lava_job_bt_benchmark.jinja2
@@ -19,6 +19,8 @@ context:
 tags:
   - dev-sda1
 
+environment:
+  SHELL: "/bin/bash"
 
 actions:
     - deploy: