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

make: make clean usable together with -j #1201

Merged
merged 1 commit into from
May 23, 2014
Merged

make: make clean usable together with -j #1201

merged 1 commit into from
May 23, 2014

Conversation

Kijewski
Copy link
Contributor

Not really needed, but it comes without any cost …

@LudwigKnuepfer
Copy link
Member

pre-ACK

@LudwigKnuepfer
Copy link
Member

ACK

@Kijewski Kijewski added the make label May 16, 2014
Kijewski added a commit that referenced this pull request May 23, 2014
make: make clean usable together with `-j`
@Kijewski Kijewski merged commit 9f40d01 into RIOT-OS:master May 23, 2014
@Kijewski Kijewski deleted the exclusive-make-clean branch May 23, 2014 01:48
@Kijewski Kijewski added this to the Release 2014.05 milestone May 23, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: build system Area: Build system
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants