minor release script fixes

This commit is contained in:
Gabor Kiss-Vamosi
2020-11-03 11:02:14 +01:00
parent 2f40ca37df
commit 92c75a6e8c
3 changed files with 22 additions and 22 deletions

View File

@@ -13,7 +13,7 @@ def cmd(c, ask_on_err = True):
r = os.system(c)
if r:
print("### Error: " + str(r))
if exit_on_err:
if ask_on_err:
input("Press Enter to continue exectution...")
def define_set(fn, name, value):
@@ -77,8 +77,7 @@ def get_lvgl_version(br):
return ver
def push(c):
return
cmd(c)
cmd("git push " + c)
def update_version(ver):
ver_str = ver_format(ver)