Run cargo build on gir unless there was a git submodule update failure

This commit is contained in:
Guillaume Gomez 2020-11-12 20:08:55 +01:00
parent ca96014c47
commit fec4e12410

View file

@ -57,13 +57,12 @@ def def_check_submodule(submodule_path):
def build_gir_if_needed(updated_submodule): def build_gir_if_needed(updated_submodule):
if updated_submodule == FAILURE: if updated_submodule == FAILURE:
return False return False
elif updated_submodule == NEED_UPDATE or not isfile('./gir/target/release/gir'): print('=> Building gir...')
print('=> Building gir...') if update_workspace() is True:
if update_workspace() is True: print('<= Done!')
print('<= Done!') else:
else: print('<= Failed...')
print('<= Failed...') return False
return False
return True return True
def regen_crates(path, level=0): def regen_crates(path, level=0):