working on github dist

This commit is contained in:
Charlton, Scott R 2021-09-14 22:30:44 -06:00
parent e3f65cf8bb
commit 3342bb47b7

View File

@ -52,11 +52,13 @@ jobs:
echo DATE=${{ needs.init.outputs.DATE }} echo DATE=${{ needs.init.outputs.DATE }}
replace: replace:
needs: [init]
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v2
- name: jenkins-dist - name: jenkins-dist
run: | run: |
/bin/sh jenkins-dist.sh -v ${VER} -r ${REL} -d ${DATE} -pr ${TAG} /bin/sh jenkins-dist.sh -v ${{ needs.init.outputs.VER }} -r ${{ needs.init.outputs.REL }} -d ${{ needs.init.outputs.DATE }}
cd doc && doxygen && cd .. cd doc && doxygen && cd ..
autoreconf -fvi autoreconf -fvi
mkdir _build && cd _build && ../configure && make -j 4 distcheck && cd .. mkdir _build && cd _build && ../configure && make -j 4 distcheck && cd ..