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 2022/11/03 15:52:51 UTC

[GitHub] [incubator-nuttx] fjpanag commented on pull request #7076: Remove duplicate calls and optimize compilation speed

fjpanag commented on PR #7076:
URL: https://github.com/apache/incubator-nuttx/pull/7076#issuecomment-1302318032

   There is an issue with commit 85f727f23250df8fd0a29e7a67f60a316b1b1e8c.
   
   I am running:
   
   ```
   make  -C nuttx/tools -f Makefile.host clean
   ```
   
   and I get the following errors:
   ```
   make[1]: Entering directory '/path/to/workspace/nuttx/tools'
   /bin/sh: line 1:/path/to/workspace/nuttx/tools/../tools/incdir: No such file or directory
   /bin/sh: line 1: /path/to/workspace/nuttx/tools/../tools/incdir: No such file or directory
   ```


-- 
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.

To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org