diff --git a/ci/build_vcddiff.sh b/ci/build_vcddiff.sh old mode 100644 new mode 100755