scripts/git-checkout.sh: Is not bash specific. Invoke with /bin/sh.

Signed-off-by: Keir Fraser <keir@xen.org>

diff --git a/scripts/git-checkout.sh b/scripts/git-checkout.sh
index 3f3212662bb9001e960738f8e0171b81bb330ae8..1c0175b58ba827a2057e6d18c333266e27ba40cf 100644 (file)
--- a/scripts/git-checkout.sh
+++ b/scripts/git-checkout.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 TREE=$1
 TAG=$2