From dea329444526a29bfa607c31c74bc2a047a47cb1 Mon Sep 17 00:00:00 2001
From: suchmememanyskill <suchmememanyskill@users.noreply.github.com>
Date: Sun, 25 Jul 2021 22:08:19 +0200
Subject: [PATCH] makefile fix for linux?

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 716d464..04d39d1 100644
--- a/Makefile
+++ b/Makefile
@@ -111,4 +111,8 @@ $(BUILDDIR)/$(TARGET)/script/builtin.o: $(BUILDDIR)/$(TARGET)/script/builtin.c
     
 $(BUILDDIR)/$(TARGET)/script/builtin.c: scripts/*.te
 	@mkdir -p "$(@D)"
+ifeq ($(OS),Windows_NT)
 	@py te2c.py "$(BUILDDIR)/$(TARGET)/script/builtin" scripts
+else
+	@python3 te2c.py "$(BUILDDIR)/$(TARGET)/script/builtin" scripts
+endif