-
-
Notifications
You must be signed in to change notification settings - Fork 24
Manually specify build tools #21
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
base: master
Are you sure you want to change the base?
Manually specify build tools #21
Conversation
|
Is this still relevant? These tool scripts are copy from |
I don't understand. We are still using this PR in our fork. Did a different PR get merged that already took care of this and I didn't realize? Or maybe it can already be accomplished without this PR and I didn't realize? |
No, definitely not in this repo. And seems like neither main Godot repo nor What I'm telling is making the same PR in the |
|
Ah I see what you are saying. Yes, this PR is still relevant as we build |
|
|
|
Wrong link, my bad. The PR is here: godotengine/godot#101042 Edit: I've also updated this PR subscription with the correct link to the pr in the godot repo as well |
This was done for the same reasons as this PR for godot:
godotengine/godot#91743godotengine/godot#101042Let me know if there is anything you would like changed :). Thanks for the awesome tool! :)