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

Improve plist-to-html's Makefile for multijob and no redundant downloads #1105

Merged
merged 1 commit into from
Nov 13, 2017

Conversation

whisperity
Copy link
Contributor

Instead of executing the curl calls all the time, act like how Makefiles usually behave: if the "built" files already exist, don't rebuild them. This makes quickly rebuilding CodeChecker a lot faster, and, if more job threads are given, the curl calls will also be multithreaded.

-z $(DIST_DIR)/codemirror.LICENSE \
-o $(DIST_DIR)/codemirror.LICENSE

clike: $(DIST_DIR)/clike.min.js
Copy link
Contributor

Choose a reason for hiding this comment

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

Why did you create a separate target for this? clike is part of the CodeMirror library. It looks to me that the plist-to-html plugin depends on two libraries: codemirror and clike, but clike is not a library.

I think it would be better to use the codemirror target instead of creating a new one.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

The fact that it was under a mode subfolder under CodeMirror's host must have mislead me when I made this patch.

Copy link
Contributor

@Xazax-hun Xazax-hun left a comment

Choose a reason for hiding this comment

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

LGTM!

@Xazax-hun Xazax-hun merged commit f66e5e5 into Ericsson:master Nov 13, 2017
@gyorb gyorb added this to the release 6.2 milestone Nov 14, 2017
@whisperity whisperity deleted the plist_to_html_makefile branch November 16, 2017 17:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dev env ⛑️ Development environment enhancement 🌟
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants