From d6757682b8b877cb38739fadf4bf5de351b08a7b Mon Sep 17 00:00:00 2001
From: Lorenzo Pivetta <lorenzo.pivetta@elettra.eu>
Date: Wed, 3 Jun 2020 16:49:50 +0200
Subject: [PATCH] Fix path in Makefile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9683044..6b06959 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ PY_FILES += $(wildcard src/*.py)
 
 default: bin ${PY_FILES}
 	@cp ${PY_FILES} bin/${DIRNAME}
-	@echo "#!/bin/bash\nexec ${DIRNAME}/${MAIN}" > bin/${NAME}
+	@echo "#!/bin/bash\nexec /runtime/bin/${DIRNAME}/${MAIN}" > bin/${NAME}
 	@chmod +x bin/${NAME} bin/${DIRNAME}/${MAIN}
 
 bin:
-- 
GitLab