From ce33c2cffee5a85549379f52c07dc6ee313ebe17 Mon Sep 17 00:00:00 2001 From: david gauchard Date: Mon, 9 Jul 2018 18:36:39 +0200 Subject: [PATCH] informative message on top of boards.txt (#4910) --- boards.txt | 4 +++- tools/boards.txt.py | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/boards.txt b/boards.txt index fe9d3fe77..6957c2190 100644 --- a/boards.txt +++ b/boards.txt @@ -1,5 +1,7 @@ # -# this file is script-generated and is likely to be overwritten by boards.txt.py +# Do not create pull-requests for this file only, CI will not accept them. +# You *must* edit/modify/run boards.txt.py to regenerate boards.txt. +# All modified files after running with option "--allgen" must be included in the pull-request. # menu.BoardModel=Model diff --git a/tools/boards.txt.py b/tools/boards.txt.py index b79dc2193..c4c8c695f 100755 --- a/tools/boards.txt.py +++ b/tools/boards.txt.py @@ -1180,7 +1180,9 @@ def all_boards (): macros.update(led(led_default, led_max)) print '#' - print '# this file is script-generated and is likely to be overwritten by ' + os.path.basename(sys.argv[0]) + print '# Do not create pull-requests for this file only, CI will not accept them.' + print '# You *must* edit/modify/run ' + os.path.basename(sys.argv[0]) + ' to regenerate boards.txt.' + print '# All modified files after running with option "--allgen" must be included in the pull-request.' print '#' print '' print 'menu.BoardModel=Model'