Update makefile.yml

change make to use release build
dmcoles · Sep 12, 2023 · ae7b5f5 · ae7b5f5
1 parent f24dfc5
commit ae7b5f5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
@@ -19,8 +19,8 @@ jobs:
       - uses: actions/checkout@v4
       - name: run build
         run: |
-           vamos -c /usr/amiga/.vamosrc --cwd esource: -V system:/usr/amiga -V esource:$GITHUB_WORKSPACE make
-           vamos -c /usr/amiga/.vamosrc --cwd esource:axSetupTool -V system:/usr/amiga -V esource:$GITHUB_WORKSPACE make
+           vamos -c /usr/amiga/.vamosrc --cwd esource: -V system:/usr/amiga -V esource:$GITHUB_WORKSPACE make build=release
+           vamos -c /usr/amiga/.vamosrc --cwd esource:axSetupTool -V system:/usr/amiga -V esource:$GITHUB_WORKSPACE make build=release
 
       - name: add build artifacts to publish
         run: |