Skip to content

making the Makefile checks serial #1409

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 1 commit into from
Feb 9, 2017
Merged

Conversation

jtrmal
Copy link
Contributor

@jtrmal jtrmal commented Feb 9, 2017

@dogancan @danpovey , what do you think about this?
The issue I'm trying address is that if make is run with -j, the output is usually quite convoluted and is not directly obvious what is the error.
y.

@danpovey
Copy link
Contributor

danpovey commented Feb 9, 2017 via email

@jtrmal
Copy link
Contributor Author

jtrmal commented Feb 9, 2017

ok, done.

@dogancan
Copy link
Contributor

dogancan commented Feb 9, 2017

LGTM.

@danpovey danpovey merged commit 42114e6 into kaldi-asr:shortcut Feb 9, 2017
@jtrmal jtrmal deleted the make_fix branch February 10, 2017 03:26
david-ryan-snyder pushed a commit to david-ryan-snyder/kaldi that referenced this pull request Apr 12, 2017
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