diff --git a/devtools/gendbg.sh b/devtools/gendbg.sh old mode 100644 new mode 100755