From 82034a25861b5d6d6db70b9998988afc84bb2e9f Mon Sep 17 00:00:00 2001 From: Harvey Tindall Date: Wed, 17 Feb 2021 16:11:01 +0000 Subject: [PATCH] use python3 in makefile for embed --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index c31eb52..a6fb79d 100644 --- a/Makefile +++ b/Makefile @@ -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/