Need to use bash, Ubuntu's /bin/sh is dash, which is unsafe for some of the bashisms...

diff --git a/autogen.sh b/autogen.sh
index 1afc947ff1d376e57d00838c22547d4ccbbe9bdd..b37c09b526d04fa5719848b6a08c0c1e437c8d6d 100755 (executable)
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh 
+#!/bin/bash 
 
 # This script does all the magic calls to automake/autoconf and
 # friends that are needed to configure a cvs checkout.  As described in