Pre-build commands to clean

This commit is contained in:
Nobuyoshi Nakada 2024-03-11 01:04:44 +09:00
parent 9f60fd9d89
commit d0be77fb2d
No known key found for this signature in database
GPG Key ID: 3582D74E1FEE4465

View File

@ -152,14 +152,23 @@ runs:
done
# drop {a..z}.rb if case-insensitive filesystem
grep -F A.rb a.rb > /dev/null && set "${@:27}"
echo files="$*" >> $GITHUB_OUTPUT
echo clean="cd ${{ inputs.builddir }} && rm $*" >> $GITHUB_OUTPUT
- if: steps.dummy-files.outcome == 'success' || inputs.clean == 'true'
- if: inputs.clean == 'true'
shell: bash
id: clean
run: |
echo distclean='make -C ${{ inputs.builddir }} distclean' >> $GITHUB_OUTPUT
echo remained-files='find ${{ inputs.builddir }} -ls' >> $GITHUB_OUTPUT
[ "${{ inputs.builddir }}" = "${{ inputs.srcdir }}" ] ||
echo final='rmdir ${{ inputs.builddir }}' >> $GITHUB_OUTPUT
- name: clean
uses: gacts/run-and-post-run@674528335da98a7afc80915ff2b4b860a0b3553a # v1.4.0
with:
working-directory:
post: |
cd ${{ inputs.builddir }} && rm ${{ steps.dummy-files.outputs.files }}
cd ${{ inputs.builddir }} && make distclean
find ${{ inputs.builddir }} -ls
[ "${{ inputs.builddir }}" = "${{ inputs.srcdir }}" ] || rmdir ${{ inputs.builddir }}
${{ steps.dummy-files.outputs.clean }}
${{ steps.clean.outputs.distclean }}
${{ steps.clean.outputs.remained-files }}
${{ steps.clean.outputs.final }}