Skip to content

Parallel makefile#4

Closed
jtimon wants to merge 2 commits into
masterfrom
parallel-docker
Closed

Parallel makefile#4
jtimon wants to merge 2 commits into
masterfrom
parallel-docker

Conversation

@jtimon
Copy link
Copy Markdown
Owner

@jtimon jtimon commented Jul 27, 2019

Parallelism for the build for more cores.

@jtimon jtimon force-pushed the parallel-docker branch 2 times, most recently from 8fdc690 to f2607d4 Compare July 27, 2019 20:38
@jtimon jtimon changed the title WIP: Parallel docker WIP: Parallel makefile Jul 27, 2019
@jtimon jtimon force-pushed the parallel-docker branch from f2607d4 to 384a6b6 Compare July 27, 2019 20:42
@jtimon jtimon force-pushed the master branch 10 times, most recently from d6ec9c0 to 73fb2b6 Compare July 31, 2019 02:30
@jtimon jtimon force-pushed the parallel-docker branch from 384a6b6 to ff381d0 Compare July 31, 2019 04:33
@jtimon jtimon force-pushed the parallel-docker branch 2 times, most recently from b2de405 to 604512e Compare August 22, 2019 21:08
@jtimon jtimon changed the title WIP: Parallel makefile Parallel makefile Aug 22, 2019
@jtimon
Copy link
Copy Markdown
Owner Author

jtimon commented Aug 22, 2019

Opened for real in cdecker#76
Keeping this opened because the travis here is slightly superior.

@jtimon jtimon closed this Aug 29, 2019
@jtimon jtimon deleted the parallel-docker branch August 29, 2019 17:56
@jtimon jtimon restored the parallel-docker branch August 29, 2019 19:43
@jtimon jtimon deleted the parallel-docker branch August 29, 2019 19:43
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.

1 participant