diff options
author | Ross Lagerwall <rosslagerwall@gmail.com> | 2014-03-23 06:40:29 +0000 |
---|---|---|
committer | Ross Lagerwall <rosslagerwall@gmail.com> | 2014-04-11 17:50:36 +0100 |
commit | e7795959f88872d1231c322a45d16264ada9f997 (patch) | |
tree | a2cc2f909e232e12d8ac39521f4ddc9a7f56bea0 /test | |
parent | a3d3074363cd271c94dd10606d7a9953625632da (diff) | |
download | gvfs-e7795959f88872d1231c322a45d16264ada9f997.tar.gz |
run-in-tree.sh: Use sh rather than bash
We don't really on bash-specific features so use /bin/sh rather than
/bin/bash.
https://bugzilla.gnome.org/show_bug.cgi?id=726911
Diffstat (limited to 'test')
-rwxr-xr-x | test/run-in-tree.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/run-in-tree.sh b/test/run-in-tree.sh index 8f4d842e..6552e3f6 100755 --- a/test/run-in-tree.sh +++ b/test/run-in-tree.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh if [ $# -lt 1 ]; then echo missing argument @@ -28,7 +28,7 @@ if [ -z "$MAKEFLAGS" ]; then DBUS_SESSION_BUS_PID=`cat $PIDFILE` rm $PIDFILE - trap "kill -9 $DBUS_SESSION_BUS_PID" SIGINT SIGTERM EXIT + trap "kill -9 $DBUS_SESSION_BUS_PID" INT TERM EXIT fi $@ |