Skip to content

Commit

Permalink
Merge pull request #944 from bmwiedemann/buildtoolopts
Browse files Browse the repository at this point in the history
Pass-through --buildtool-opt
  • Loading branch information
mlschroe committed Jul 25, 2023
2 parents 04ca9af + ddf5bee commit 4f0e794
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions build-vm
Original file line number Diff line number Diff line change
Expand Up @@ -1036,6 +1036,7 @@ vm_first_stage() {
echo "RUN_SHELL='$RUN_SHELL'" >> $BUILD_ROOT/.build/build.data
echo "RUN_SHELL_AFTER_FAIL='$RUN_SHELL_AFTER_FAIL'" >> $BUILD_ROOT/.build/build.data
echo "RUN_SHELL_CMD='$RUN_SHELL_CMD'" >> $BUILD_ROOT/.build/build.data
echo "BUILD_TOOL_OPTS='$BUILD_TOOL_OPTS'" >> $BUILD_ROOT/.build/build.data
echo "DO_STATISTICS='$DO_STATISTICS'" >> $BUILD_ROOT/.build/build.data
echo "TIME_PREINSTALL='$TIME_PREINSTALL'" >> $BUILD_ROOT/.build/build.data
echo "VM_WATCHDOG='$VM_WATCHDOG'" >> $BUILD_ROOT/.build/build.data
Expand Down

0 comments on commit 4f0e794

Please sign in to comment.