* tools/run-with-tmp-session-bus.sh: use #!/bin/sh instead of

  #!/bin/bash

diff --git a/tools/run-with-tmp-session-bus.sh b/tools/run-with-tmp-session-bus.sh
index ce077d72a508d98f284470495fec5d37afa4bfac..07cbb501678ac46d7eae17c00cfe0d4ec2af500e 100755 (executable)
--- a/tools/run-with-tmp-session-bus.sh
+++ b/tools/run-with-tmp-session-bus.sh
@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /bin/sh
 
 SCRIPTNAME=$0
 WRAPPED_SCRIPT=$1