From fee8e7ab7b203d7fbd927390e074711c8eea34ad Mon Sep 17 00:00:00 2001 From: Guido Trotter Date: Mon, 16 Feb 2009 10:25:44 +0000 Subject: [PATCH] To avoid bashisms, convert to /bin/bash! :) Reviewed-by: iustinp --- create.in | 2 +- export | 2 +- import | 2 +- rename | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/create.in b/create.in index 5916e6a..0995fa7 100755 --- a/create.in +++ b/create.in @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Copyright (C) 2007 Google Inc. # diff --git a/export b/export index fea95de..e3d8595 100755 --- a/export +++ b/export @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Copyright (C) 2007 Google Inc. # diff --git a/import b/import index 19ea796..1047954 100755 --- a/import +++ b/import @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Copyright (C) 2007 Google Inc. # diff --git a/rename b/rename index 96060f6..331e691 100755 --- a/rename +++ b/rename @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Copyright (C) 2007 Google Inc. # -- 1.7.2.5