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

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

diff --git a/Makefile b/Makefile
index dd50746..b7a0b75 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