Created
June 5, 2025 05:43
-
-
Save jmkim/060979bb7d8e1e42d4bff6acc4ff915f to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| find . -path "./RIOT/build" -prune -o -type d -name "include" -print | sort |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment