build-root.

toitlang · Jul 19, 2023 · 457aac2 · 457aac2
1 parent 75a25e3
commit 457aac2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -118,12 +118,12 @@ jobs:
 
       - name: Synthesize the variants
         run: |
-          echo "Synthesizing variants: $VARIANTS"
           build/envelope-tool synthesize \
             --toit-root=toit \
             --output-root=synthesized \
             --sdk-path=build/host/sdk \
             --variants-root=variants \
+            --build-root=build \
             $VARIANTS
 
       - name: Build the variants