[polari] autogen.sh: use #!/bin/sh instead of #!/bin/bash

[Ryan Lortie <desrt src gnome org>]

commit 429561e8dd5385f1cca8df2f051d9bf5faf7a1a5
Author: Ryan Lortie <desrt desrt ca>
Date:   Sun Feb 9 10:58:23 2014 -0500

    autogen.sh: use #!/bin/sh instead of #!/bin/bash
    
    We don't have any bashisms in this file, so we may as well use sh.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=722532

 autogen.sh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/autogen.sh b/autogen.sh
index f323d4b..b4b116c 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 # Run this to generate all the initial makefiles, etc.
 
 srcdir=`dirname $0`