1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-12 01:53:07 +03:00

informative message on top of boards.txt (#4910)

This commit is contained in:
david gauchard
2018-07-09 18:36:39 +02:00
committed by GitHub
parent 00c35be985
commit ce33c2cffe
2 changed files with 6 additions and 2 deletions

View File

@ -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'