--- old/common/autoconf/configure.ac	2014-11-26 15:46:27.429766053 +0100
+++ new/common/autoconf/configure.ac	2014-11-26 15:46:27.341762404 +0100
@@ -113,6 +113,7 @@
 
 # Setup tools that requires more complex handling, or that is not needed by the configure script.
 BASIC_SETUP_COMPLEX_TOOLS
+BASIC_CHECK_BASH_OPTIONS
 
 # Check if pkg-config is available.
 PKG_PROG_PKG_CONFIG