Skip to content

Replace hardcoded "-jX" for make #420

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

Merged
merged 4 commits into from
Oct 3, 2015
Merged

Replace hardcoded "-jX" for make #420

merged 4 commits into from
Oct 3, 2015

Conversation

thopiekar
Copy link
Contributor

I've noticed that "make -j5" was set globally when push_arm was done.
There might be other places were -j5 is missing now but I think they can be fixed very quickly.

@thopiekar
Copy link
Contributor Author

Just added now -j$MAKE_JOBS to all make commands (untested but beleave it works) and replaced all hardcoded -jX options with -j$MAKE_JOBS

@thopiekar thopiekar changed the title Replace hardcoded "-j5" for make Replace hardcoded "-jX" for make Jul 25, 2015
@@ -93,6 +93,11 @@ case $OSTYPE in
;;
esac

if [ -f /proc/cpuinfo ]; then
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe this should check if MAKE_JOBS is already set, so you can tell it how many jobs to use? Like if [ -z "$MAKE_JOBS" -a -f /proc/cpuinfo ]; then ...

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Didn't think about this situation. I'm not so good in bash just found a variation of this on the web and rewritten it.
Would it be a problem to merge the PR and you could make this tweak?

inclement added a commit that referenced this pull request Oct 3, 2015
Replace hardcoded "-jX" for make
@inclement inclement merged commit fc88bbc into kivy:master Oct 3, 2015
@inclement
Copy link
Member

I guess the only reason this wasn't merged was kived's observation, but it still seems like an improvement so I'll merge it anyway. Sorry for the delay.

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.

3 participants