You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@nuttx.apache.org by GitBox <gi...@apache.org> on 2020/01/21 14:12:16 UTC
[GitHub] [incubator-nuttx] xiaoxiang781216 opened a new pull request #141:
make/distclean: unlink the dir after subdir clean
xiaoxiang781216 opened a new pull request #141: make/distclean: unlink the dir after subdir clean
URL: https://github.com/apache/incubator-nuttx/pull/141
Ensure the linked dir can be clean complete in multi-job case
Change-Id: Ie8c0b29ece1f727fd93f2e640c3f1cc7876a358b
Signed-off-by: chao.an <an...@xiaomi.com>
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services
[GitHub] [incubator-nuttx] patacongo merged pull request #141:
make/distclean: unlink the dir after subdir clean
Posted by GitBox <gi...@apache.org>.
patacongo merged pull request #141: make/distclean: unlink the dir after subdir clean
URL: https://github.com/apache/incubator-nuttx/pull/141
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
With regards,
Apache Git Services