From bab1303b1bad5ac0fce2094cefc22cc823b163fb Mon Sep 17 00:00:00 2001 From: Jan Pochyla Date: Fri, 28 Jul 2017 16:36:14 +0200 Subject: [PATCH] tools/build_mocks: adapt to micropython -> embed rename --- tools/build_mocks | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/build_mocks b/tools/build_mocks index 7a4bdb54..209c0a78 100755 --- a/tools/build_mocks +++ b/tools/build_mocks @@ -72,7 +72,7 @@ def build_module(mod_file, dest): .split('.')[0] \ .split('-')[0] \ .replace('mod', '') - mod_desc = mod_file.replace('../micropython/extmod', 'extmod') + mod_desc = mod_file.replace('../embed/extmod', 'extmod') for l in open(mod_file): if not l.startswith(COMMENT_PREFIX): @@ -109,4 +109,4 @@ def clear_directory(top_dir): if __name__ == '__main__': clear_directory('../mocks/generated') - build_directory('../micropython/extmod', '../mocks/generated') + build_directory('../embed/extmod', '../mocks/generated')