From b537a4acd46177cb0027384807693c0d82effb1b Mon Sep 17 00:00:00 2001
From: Sitaram Chamarty <sitaram@atc.tcs.com>
Date: Thu, 18 Mar 2010 09:11:48 +0530
Subject: [PATCH] dash it all!

Ubuntu now defaults to /bin/sh -> /bin/dash, while my brain seems to
default to bash.

I guess it's easier to fix my brain, and my code <sigh>
---
 hooks/gitolite-admin/post-update | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hooks/gitolite-admin/post-update b/hooks/gitolite-admin/post-update
index 2230efc..5758cc9 100755
--- a/hooks/gitolite-admin/post-update
+++ b/hooks/gitolite-admin/post-update
@@ -9,7 +9,7 @@ $GL_BINDIR/gl-compile-conf
 
 cd -
 
-if [[ -f hooks/post-update.secondary ]] || [[ -L hooks/post-update.secondary ]]
+if [ -f hooks/post-update.secondary ] || [ -L hooks/post-update.secondary ]
 then
     exec hooks/post-update.secondary "$@"
 fi