diff --git a/tools/configure.bat b/tools/configure.bat old mode 100644 new mode 100755 diff --git a/tools/define.bat b/tools/define.bat old mode 100644 new mode 100755 diff --git a/tools/mkctags.sh b/tools/mkctags.sh old mode 100644 new mode 100755 diff --git a/tools/mkwindeps.sh b/tools/mkwindeps.sh old mode 100644 new mode 100755 diff --git a/tools/xmlrpc_test.py b/tools/xmlrpc_test.py old mode 100644 new mode 100755