Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enhancement: Use Makfile.local instead of makefile.local #1033

Open
1 task done
lcn2 opened this issue Nov 19, 2024 · 3 comments
Open
1 task done

Enhancement: Use Makfile.local instead of makefile.local #1033

lcn2 opened this issue Nov 19, 2024 · 3 comments
Assignees
Labels
background priority While this issue is needs to be solved, it is of a somewhat lower priority. enhancement New feature or request post-IOCCC28 All work and comments delayed until post-IOCCC28 and post IOCCC judge vacation.

Comments

@lcn2
Copy link
Contributor

lcn2 commented Nov 19, 2024

Is there an existing issue for this?

  • I have searched for existing issues and did not find anything like this

Describe the enhancement

The file, Makefile.local should be used instead of makefile.local.``

Relevant images, screenshots or other files

n/a

Relevant links

n/a

Anything else?

Post CODE FREEZE and post-IOCCC28.

All comments and work of this issue to be delayed until after the IOCCC judges's post-IOCCC28 vacation.

@lcn2 lcn2 added enhancement New feature or request background priority While this issue is needs to be solved, it is of a somewhat lower priority. post-IOCCC28 All work and comments delayed until post-IOCCC28 and post IOCCC judge vacation. labels Nov 19, 2024
@lcn2 lcn2 self-assigned this Nov 19, 2024
@xexyl
Copy link
Contributor

xexyl commented Nov 19, 2024

Happy to do this .. if you want .. later on. Or you can if you want to introduce your concept you suggested in the other issue, which seems very different from what we had here (and certainly different from my original idea which did prove very useful).

@lcn2
Copy link
Contributor Author

lcn2 commented Nov 19, 2024

p.s. Use -include Makefile.local

@xexyl
Copy link
Contributor

xexyl commented Nov 19, 2024

p.s. Use -include Makefile.local

Will do. This will require a few changes to warn about its use. Can look at your full concept as well.

But not today. Obviously I mean over there. Perhaps with your additional ideas it will be better.

Have to leave. Good day and good luck!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
background priority While this issue is needs to be solved, it is of a somewhat lower priority. enhancement New feature or request post-IOCCC28 All work and comments delayed until post-IOCCC28 and post IOCCC judge vacation.
Projects
None yet
Development

No branches or pull requests

2 participants