Works correctly now.

This commit is contained in:
fewtarius 2023-11-02 15:07:27 +00:00
parent 83f7043286
commit d8b191851d
No known key found for this signature in database
GPG key ID: F4AE55305D1B8C1A

View file

@ -1,5 +1,5 @@
BUILD_DIRS=build.*
-include $(pwd)/config/options
-include $(HOME)/.JELOS/options
all: world