Bashism in autogen.sh, so we use bash

MartinEmrich · MartinEmrich · commit c3456e625ab8 · 2019-10-13T11:47:26.000+02:00
diff --git a/autogen.sh b/autogen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 die() {
 	echo "*** $0 failed :("
