diff --git a/kernel/trunk/runtests.py b/kernel/trunk/runtests.py index 68ed619e5f..d161e057b8 100755 --- a/kernel/trunk/runtests.py +++ b/kernel/trunk/runtests.py @@ -309,6 +309,9 @@ def download_umka(): print("Couldn't clone UMKa repo") exit() os.chdir("umka") + if os.system("git checkout trunk") != 0: + print("Couldn't checkout trunk branch of UMKa") + exit() os.system("git pull") os.chdir("../")