[gnome-terminal] autogen: Use bash

[Christian Persch <chpe src gnome org>]

commit 4494fcdbaf0737e327e094fe73af71d2fb1218ef
Author: Christian Persch <chpe gnome org>
Date:   Thu May 9 12:42:32 2013 +0200

    autogen: Use bash
    
    https://bugzilla.gnome.org/show_bug.cgi?id=699990

 autogen.sh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/autogen.sh b/autogen.sh
index aeff78a..41ff7e6 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Run this to generate all the initial makefiles, etc.
 
 set -e