From d8b191851dfc1b93daaf5e86a579b8dc79f168c7 Mon Sep 17 00:00:00 2001 From: fewtarius Date: Thu, 2 Nov 2023 15:07:27 +0000 Subject: [PATCH] Works correctly now. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5fc8b0c8c..2a2a69271 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ BUILD_DIRS=build.* --include $(pwd)/config/options +-include $(HOME)/.JELOS/options all: world