diff --git a/tools/finalization/cleanup.sh b/tools/finalization/cleanup.sh index cd87b1d129..e2a059204e 100755 --- a/tools/finalization/cleanup.sh +++ b/tools/finalization/cleanup.sh @@ -14,8 +14,8 @@ function finalize_revert_local_changes_main() { repo forall -c '\ git checkout . ; git revert --abort ; git clean -fdx ;\ - git checkout @ ; git branch fina-step1 -D ; git reset --hard; \ - repo start fina-step1 ; git checkout @ ; git b fina-step1 -D ;' + git checkout @ --detach ; git branch fina-step1 -D ; git reset --hard; \ + repo start fina-step1 ; git checkout @ --detach ; git b fina-step1 -D ;' } finalize_revert_local_changes_main diff --git a/tools/finalization/environment.sh b/tools/finalization/environment.sh index 7961e8bc3e..cadc26f952 100755 --- a/tools/finalization/environment.sh +++ b/tools/finalization/environment.sh @@ -15,7 +15,7 @@ export FINAL_PLATFORM_VERSION='15' # We might or might not fix this in future, but for now let's keep it +1. export FINAL_PLATFORM_SDK_VERSION='35' # Feel free to randomize once in a while to detect buggy version detection code. -export FINAL_MAINLINE_EXTENSION='58' +export FINAL_MAINLINE_EXTENSION='13' # Options: # 'unfinalized' - branch is in development state,