diff options
author | Lorenz Kästle <12514511+RincewindsHat@users.noreply.github.com> | 2023-07-11 21:08:01 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-11 21:08:01 (GMT) |
commit | 65aa35d1afdea2570309efc7a08050504a53f091 (patch) | |
tree | 5c6b780907427500fe0e9ad8f78fa1489b74b518 /.github | |
parent | 7b24d8cc3e00acacc1cdc493a14a96aefe7a5a1f (diff) | |
parent | 74927513f736eadf1c1416c6a36673f15cb4fce8 (diff) | |
download | monitoring-plugins-65aa35d1afdea2570309efc7a08050504a53f091.tar.gz |
Merge pull request #1895 from waja/update-po
Try to detect if there are translation updates via CI
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/test.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 306f21c..9c84acc 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml | |||
@@ -74,6 +74,10 @@ jobs: | |||
74 | /bin/sh -c '${{ matrix.prepare }} && \ | 74 | /bin/sh -c '${{ matrix.prepare }} && \ |
75 | tools/setup && \ | 75 | tools/setup && \ |
76 | ./configure --enable-libtap --with-ipv6=no && \ | 76 | ./configure --enable-libtap --with-ipv6=no && \ |
77 | set -x && \ | ||
78 | tmp_dir=$(mktemp -d -t test-XXXX) && cp -a po/ $tmp_dir/ && \ | ||
79 | cd po && make update-po && cd .. && \ | ||
80 | diff -Nur $tmp_dir/po/*.po po/*.po | tee -a /tmp/po.diff && diff -Nur $tmp_dir/po/*.pot po/*.pot | tee -a /tmp/po.diff && if [ $(wc -l /tmp/po.diff | cut -f 1 -d" ") -gt 0 ]; then echo "Error: Translations needs to be updated with make update-po!" && exit 1; fi && \ | ||
77 | make && \ | 81 | make && \ |
78 | make test' | 82 | make test' |
79 | docker container prune -f | 83 | docker container prune -f |