From 0dddefbdf91ce9b9d267ac0675f613b2ffbef7f8 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 ecd8ede12..450d465c9 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ BUILD_DIRS=build.* --include $(pwd)/config/options +-include $(HOME)/.JELOS/options all: world