[LyX/master] Check that we have bash before running updatelfuns.sh

[Guillaume Munch]

commit a8ad43d4fd16c91e1ca4089efe60cebfa6ce4e4c
Author: Guillaume Munch <g...@lyx.org>
Date:   Thu Jan 7 23:42:21 2016 +0000

    Check that we have bash before running updatelfuns.sh
    
    Also set executable bits on the devel scripts.

diff --git a/development/tools/convert_kmap.py 
b/development/tools/convert_kmap.py
old mode 100644
new mode 100755
diff --git a/development/tools/count_lines_of_included_code.sh 
b/development/tools/count_lines_of_included_code.sh
old mode 100644
new mode 100755
diff --git a/development/tools/designer43to42 b/development/tools/designer43to42
old mode 100644
new mode 100755
diff --git a/development/tools/generate_symbols_images.py 
b/development/tools/generate_symbols_images.py
old mode 100644
new mode 100755
diff --git a/development/tools/generate_symbols_list.py 
b/development/tools/generate_symbols_list.py
old mode 100644
new mode 100755
diff --git a/development/tools/list_included_headers.sh 
b/development/tools/list_included_headers.sh
old mode 100644
new mode 100755
diff --git a/development/tools/lyx-fedora b/development/tools/lyx-fedora
old mode 100644
new mode 100755
diff --git a/development/tools/mergepo.py b/development/tools/mergepo.py
old mode 100644
new mode 100755
diff --git a/development/tools/unicodesymbols.py 
b/development/tools/unicodesymbols.py
old mode 100644
new mode 100755
diff --git a/development/tools/update-po.sh b/development/tools/update-po.sh
old mode 100644
new mode 100755
diff --git a/development/tools/updatedocs.py b/development/tools/updatedocs.py
old mode 100644
new mode 100755
diff --git a/development/tools/updatelayouts.py 
b/development/tools/updatelayouts.py
old mode 100644
new mode 100755
diff --git a/development/tools/updatelfuns.sh b/development/tools/updatelfuns.sh
old mode 100644
new mode 100755
index 04c8c02..763afdd
--- a/development/tools/updatelfuns.sh
+++ b/development/tools/updatelfuns.sh
@@ -1,5 +1,11 @@
 #!/bin/bash
 
+if [ -z "$BASH_VERSION" ]; then
+       # http://article.gmane.org/gmane.editors.lyx.devel/159697
+       echo "You must use bash to run this script";
+       exit 1;
+fi
+
 function do_convert {
        for i in *; do 
                if [ ! -f $i ]; then continue; fi
diff --git a/development/tools/updatestats.sh b/development/tools/updatestats.sh
old mode 100644
new mode 100755