mirror of https://github.com/ArduPilot/ardupilot
Tools: put ArduPilot keys first
makes key changing a bit easier for vendors
This commit is contained in:
parent
11b12cd4c8
commit
0388460c92
|
@ -36,7 +36,7 @@ offset += 8
|
|||
desc = b''
|
||||
desc_len = 0
|
||||
|
||||
keys = args.keys[:]
|
||||
keys = []
|
||||
|
||||
if not args.omit_ardupilot_keys:
|
||||
print("Adding ArduPilot keys")
|
||||
|
@ -47,6 +47,8 @@ if not args.omit_ardupilot_keys:
|
|||
if f.endswith(".dat"):
|
||||
keys.append(os.path.relpath(os.path.join(keydir, f)))
|
||||
|
||||
keys += args.keys[:]
|
||||
|
||||
if len(keys) > max_keys:
|
||||
print("Too many key files %u, max is %u" % (len(keys), max_keys))
|
||||
sys.exit(1)
|
||||
|
|
Loading…
Reference in New Issue