summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJeff Epler <jepler@gmail.com>2020-10-01 11:00:33 -0500
committerJeff Epler <jepler@gmail.com>2020-10-01 11:00:33 -0500
commit618d22cd6970b5cd08c95925feb74ef839191230 (patch)
tree00f075ea96bcb76668683d055b606f8eaec38bda /Makefile
parent8f8326fe57f386271c53fda029085e9d9722e8af (diff)
Makefile: translate: exclude e.g., ports/unix/build as well
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index c032b0f63..e553b85e8 100644
--- a/Makefile
+++ b/Makefile
@@ -45,6 +45,7 @@ TRANSLATE_SOURCES = extmod lib main.c ports/atmel-samd ports/cxd56 ports/esp32s2
# Each must be preceded by "-path"; if any wildcards, enclose in quotes.
# Separate by "-o" (Find's "or" operand)
TRANSLATE_SOURCES_EXC = -path "ports/*/build-*" \
+ -o -path "ports/*/build" \
-o -path ports/esp32s2/esp-idf \
-o -path ports/cxd56/spresense-exported-sdk \
-o -path ports/stm/st_driver \