From 97229157089187a7755ebc26e36226ad87a57609 Mon Sep 17 00:00:00 2001 From: David Gauchard Date: Wed, 8 Aug 2018 11:00:07 +0200 Subject: [PATCH] fix board generator and related documentation when using core-release regarding missing file --- doc/faq/readme.rst | 4 ++-- tools/boards.txt.py | 6 ++++++ 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/doc/faq/readme.rst b/doc/faq/readme.rst index 2ed3743a50..4ef059bf5c 100644 --- a/doc/faq/readme.rst +++ b/doc/faq/readme.rst @@ -46,7 +46,7 @@ How can I get some extra KBs in flash ? * Using ``*printf()`` with floats is enabled by default. Some KBs of flash can be saved by using the option ``--nofloat`` with the boards generator: - ``./tools/boards.txt.py --nofloat --allgen`` + ``./tools/boards.txt.py --nofloat --boardsgen`` * Use the debug level option ``NoAssert-NDEBUG`` (in the Tools menu) @@ -58,7 +58,7 @@ Why can't I use WPS ? WPS is disabled by default, this offers an extra 4KB in ram/heap. To enable WPS (and lose 4KB of useable ram), use this boards generator option: -``./tools/boards.txt.py --allowWPS --allgen`` +``./tools/boards.txt.py --allowWPS --boardsgen`` `Read more `__. diff --git a/tools/boards.txt.py b/tools/boards.txt.py index fe60838a35..3ccc89f052 100755 --- a/tools/boards.txt.py +++ b/tools/boards.txt.py @@ -1294,6 +1294,9 @@ def package (): checkdir() if packagegen: + if not os.path.isfile(pkgfname): + print('will not regenerate non-existing file: ' + pkgfname) + return pkgfname_read = pkgfname + '.orig' if os.path.isfile(pkgfname_read): os.remove(pkgfname_read) @@ -1327,6 +1330,9 @@ def doc (): # check if backup already exists if not os.path.isfile("doc/boards.rst.orig"): + if not os.path.isfile("doc/boards.rst"): + print('will not regenerate non-existing file: doc/boards.rst') + return os.rename("doc/boards.rst", "doc/boards.rst.orig") realstdout = sys.stdout