use python3 in makefile for embed

4 years ago · 82034a2586
parent 5e001bed60
commit 82034a2586
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -84,10 +84,10 @@ copy:
 	cp -r lang data/

 internal-files:
-	python scripts/embed.py internal
+	python3 scripts/embed.py internal

 external-files:
-	python scripts/embed.py external
+	python3 scripts/embed.py external
 	-mkdir -p build
 	$(info copying internal data into build/)
 	cp -r data build/