From 21a62fe8362982b206445fe64c7afa3a4ab842f1 Mon Sep 17 00:00:00 2001 From: Linus Groh Date: Wed, 2 Jun 2021 00:33:48 +0100 Subject: [PATCH] Meta: Remove duplicated ensure_toolchain from serenity.sh --- Meta/serenity.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Meta/serenity.sh b/Meta/serenity.sh index 1cadb434bb..5f6d05893d 100755 --- a/Meta/serenity.sh +++ b/Meta/serenity.sh @@ -209,9 +209,8 @@ run_gdb() { if [[ "$CMD" =~ ^(build|install|image|run|gdb|test|rebuild|recreate|kaddr2line|addr2line|setup-and-run)$ ]]; then cmd_with_target [[ "$CMD" != "recreate" && "$CMD" != "rebuild" ]] || delete_target - ensure_toolchain - ensure_target [ "$TARGET" = "lagom" ] || ensure_toolchain + ensure_target case "$CMD" in build) build_target "$@"