diff --git a/tools/profiling/dump_node.sh b/tools/profiling/dump_node old mode 100644 new mode 100755 similarity index 100% rename from tools/profiling/dump_node.sh rename to tools/profiling/dump_node