diff --git a/tools/copyright_checker.js b/tools/copyright_checker.js old mode 100644 new mode 100755 diff --git a/tools/jsdoc_checker.js b/tools/jsdoc_checker.js old mode 100644 new mode 100755 diff --git a/tools/wgpu_sync.js b/tools/wgpu_sync.js old mode 100644 new mode 100755