From 53f9fef4c0a04e2a0523f677dd861e25b933aa39 Mon Sep 17 00:00:00 2001
From: Milan Jelisavcic <milan.jelisavcic@gmail.com>
Date: Tue, 15 Jan 2019 17:05:48 +0100
Subject: [PATCH] Rename `compile_python` -> `proto2python.sh`

---
 tools/{compile_python => proto2python.sh} | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
 rename tools/{compile_python => proto2python.sh} (97%)

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 \