mirror of
https://github.com/ARMmbed/mbedtls.git
synced 2025-07-23 09:39:19 +08:00
7acb0cf01e
Without a "--detach" option, git worktree will refuse to checkout a branch that's already checked out. This makes the abi_check.py script not very useful for checking the currently checked out branch, as git will error that the branch is already checked out. Add the "--detach" option to check out the new temporary worktree in detached head mode. This is acceptable because we aren't planning on working on the branch and just want a checkout to do ABI checking from.