diff --git a/tools/compile_python b/tools/proto2python.sh similarity index 97% rename from tools/compile_python rename to tools/proto2python.sh index 17c928709c..d0310bfcb4 100755 --- a/tools/compile_python +++ b/tools/proto2python.sh @@ -1,4 +1,5 @@ -#!/bin/sh +#!/usr/bin/env sh + # Generate Python protobuf files protoc -I ../cpprevolve/revolve/msgs \ -I /usr/local/include/gazebo-9/gazebo/msgs/proto \