From e444fbb738632c39481432bafab6788c484c97d2 Mon Sep 17 00:00:00 2001 From: Yanyan Jiang Date: Mon, 3 Feb 2020 13:46:37 +0800 Subject: [PATCH] tools: not export generated .c files --- tools/export-os.py | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/export-os.py b/tools/export-os.py index 5ac28dfe..a8f1e813 100755 --- a/tools/export-os.py +++ b/tools/export-os.py @@ -34,6 +34,7 @@ BLACK_LIST = [ r'.git', r'README.md', r'.DS_Store', + r'/roms/gen/', r'klib/src/stdio.c', r'klib/src/stdlib.c', r'klib/src/string.c',