diff options
Diffstat (limited to 'tools/finalization/environment.sh')
| -rwxr-xr-x | tools/finalization/environment.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/finalization/environment.sh b/tools/finalization/environment.sh index 9714ac415b..d9c42c8bf9 100755 --- a/tools/finalization/environment.sh +++ b/tools/finalization/environment.sh @@ -22,3 +22,5 @@ export FINAL_MAINLINE_EXTENSION='58' # 'sdk' - SDK/API is finalized # 'rel' - branch is finalized, switched to REL export FINAL_STATE='unfinalized' + +export BUILD_FROM_SOURCE_STUB=true
\ No newline at end of file |