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

No extension build #408

Merged
merged 2 commits into from Dec 27, 2014

Conversation

Projects
None yet
2 participants
@brownnrl
Contributor

brownnrl commented Dec 22, 2014

For the windows toolchain challenged.

@hsoft

This comment has been minimized.

Owner

hsoft commented Dec 27, 2014

Thanks, more build options is always good.

hsoft added a commit that referenced this pull request Dec 27, 2014

Merge pull request #408 from brownnrl/no_ext_build
Add --no-ext option to build.py

@hsoft hsoft merged commit 5a15f1a into hsoft:master Dec 27, 2014

@hsoft

This comment has been minimized.

Owner

hsoft commented Dec 27, 2014

Oh, you didn't set up your git properly on Windows. Your commits are anonymous.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment