2022-01-30 06:15:37 +00:00
|
|
|
# Checks that autoconf has been run if configure.ac was updated
|
2024-07-24 00:31:27 +00:00
|
|
|
# Assumes that autoconf 2.71 was run, the same as ubuntu 22.04
|
2022-01-30 06:15:37 +00:00
|
|
|
name: Autoconf Up To Date
|
|
|
|
on:
|
|
|
|
pull_request:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- master
|
|
|
|
jobs:
|
|
|
|
autoconf:
|
2022-11-10 02:29:03 +00:00
|
|
|
runs-on: 'ubuntu-22.04'
|
2022-01-30 06:15:37 +00:00
|
|
|
|
|
|
|
steps:
|
|
|
|
- name: deps
|
|
|
|
run: |
|
|
|
|
sudo apt-get -y update
|
|
|
|
sudo apt-get -y install autoconf
|
|
|
|
|
2024-07-24 00:31:27 +00:00
|
|
|
- uses: actions/checkout@v4
|
2022-01-30 06:15:37 +00:00
|
|
|
|
|
|
|
- name: run autoconf
|
|
|
|
run: autoconf && autoheader
|
|
|
|
|
|
|
|
- name: check no difference
|
|
|
|
run: git diff --exit-code
|