Skip to content

Fix/edit makefile#3

Merged
DHEBP merged 2 commits intodevfrom
fix/edit-makefile
Feb 9, 2026
Merged

Fix/edit makefile#3
DHEBP merged 2 commits intodevfrom
fix/edit-makefile

Conversation

@secretnamebasis
Copy link
Copy Markdown
Collaborator

the make file defaults to building all
and the DEROHE_PATH was un-used in the makefile

@DHEBP
Copy link
Copy Markdown
Owner

DHEBP commented Feb 9, 2026

Good catches, thank you very much secretnamebasis!

@DHEBP DHEBP merged commit d1cbb23 into dev Feb 9, 2026
@secretnamebasis secretnamebasis deleted the fix/edit-makefile branch February 9, 2026 13:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants