From 8138a947483739ae928140379ba705975b624698 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Fri, 15 Jan 2016 07:38:01 -0600 Subject: [PATCH] Make sure all scripts are marked as executable --- tools/configure.bat | 0 tools/define.bat | 0 tools/mkctags.sh | 0 tools/mkwindeps.sh | 0 tools/xmlrpc_test.py | 0 5 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/configure.bat mode change 100644 => 100755 tools/define.bat mode change 100644 => 100755 tools/mkctags.sh mode change 100644 => 100755 tools/mkwindeps.sh mode change 100644 => 100755 tools/xmlrpc_test.py 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