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

Development branch: people, please consider for merging #245

Merged
merged 63 commits into from
Mar 18, 2015

Conversation

danielinux
Copy link
Contributor

No description provided.

Daniele Lacamera and others added 30 commits February 3, 2015 11:15
PICO_SOCKET_STATE_TCP_SYN_SENT and a RST,ACK is received.
Michele Di Pede and others added 28 commits March 1, 2015 00:42
This can improve compilation times of an application.

$ make clean &> /dev/null
$ time make &> /dev/null

real    0m2.875s
user    0m2.229s
sys     0m0.714s
$ make clean &> /dev/null
$ time make -j 4 &> /dev/null

real    0m1.212s
user    0m3.308s
sys     0m0.674s
$
Only 5 failures left in TAHI section 1.
maximevince added a commit that referenced this pull request Mar 18, 2015
Development branch: people, please consider for merging
@maximevince maximevince merged commit 869a6fb into master Mar 18, 2015
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.

None yet

2 participants