Check that we haven't included extraneous generated files
This commit is contained in:
parent
3483927f40
commit
06489f4926
|
|
@ -35,6 +35,7 @@ gir:
|
||||||
before_script:
|
before_script:
|
||||||
- rm -f target/tools/bin/gir
|
- rm -f target/tools/bin/gir
|
||||||
script:
|
script:
|
||||||
|
- rm -rf src/auto/
|
||||||
- make gir
|
- make gir
|
||||||
- git diff -R --exit-code
|
- git diff -R --exit-code
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue