diff options
| author | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2025-12-02 08:12:45 +0900 |
|---|---|---|
| committer | Nobuyoshi Nakada <nobu.nakada@gmail.com> | 2025-12-02 09:55:01 +0900 |
| commit | e2d176556e36ae7911af3ff6163420a48b82af92 (patch) | |
| tree | f78be55422801a9e4887e491a086d456bfdc5a0b | |
| parent | b563be302f635116e30e3d80812962650f5564ef (diff) | |
CI: Distclean mswin
Use the given `make-command` instead of the hard-coded `make` command.
TODO: Use it for `make up` as well, in the future.
| -rw-r--r-- | .github/actions/setup/directories/action.yml | 9 | ||||
| -rw-r--r-- | .github/workflows/windows.yml | 2 |
2 files changed, 10 insertions, 1 deletions
diff --git a/.github/actions/setup/directories/action.yml b/.github/actions/setup/directories/action.yml index b64227e435..8389ef54b7 100644 --- a/.github/actions/setup/directories/action.yml +++ b/.github/actions/setup/directories/action.yml @@ -19,6 +19,13 @@ inputs: Where binaries and other generated contents go. This will be created if absent. + make-command: + required: false + type: string + default: 'make' + description: >- + The command of `make`. + makeup: required: false type: boolean @@ -169,7 +176,7 @@ runs: shell: bash id: clean run: | - echo distclean='make -C ${{ inputs.builddir }} distclean' >> $GITHUB_OUTPUT + echo distclean='cd ${{ inputs.builddir }} && ${{ inputs.make-command }} distclean' >> $GITHUB_OUTPUT echo remained-files='find ${{ inputs.builddir }} -ls' >> $GITHUB_OUTPUT [ "${{ inputs.builddir }}" = "${{ inputs.srcdir }}" ] || echo final='rmdir ${{ inputs.builddir }}' >> $GITHUB_OUTPUT diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml index 4659fb80f8..dd4bf0de96 100644 --- a/.github/workflows/windows.yml +++ b/.github/workflows/windows.yml @@ -75,6 +75,8 @@ jobs: with: srcdir: src builddir: build + make-command: nmake + clean: true - name: Install tools with scoop run: | |