From 0f2fa09d19b13402a3956d1d5562b8699c3bfcfa Mon Sep 17 00:00:00 2001 From: "Peter D. Gray" Date: Fri, 12 Mar 2021 10:07:20 -0500 Subject: [PATCH] support beta --- stm32/make_filetime.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stm32/make_filetime.py b/stm32/make_filetime.py index 5f0d14b7..c798ef3f 100755 --- a/stm32/make_filetime.py +++ b/stm32/make_filetime.py @@ -24,7 +24,7 @@ value = ((today.year - 1980) << 25) | (today.month << 21) | (today.day << 16) # only 2second resolution for times, so can only support minor verion up to x.x.5 and hard to see # anyway, let's omit ... worst case, use the date instead -h, m, _ = [int(x) for x in version.split('.')] +h, m, _ = [int(x) for x in version.split('b')[0].split('.')] value |= (h << 11) | (m << 5) with open(out_fname, 'wt') as fd: