diff --git a/autobuild.sh b/autobuild.sh index f051c6180..cb555283f 100755 --- a/autobuild.sh +++ b/autobuild.sh @@ -73,7 +73,7 @@ timing_exit "$make_timing_label" # Check for generated files that are not listed in .gitignore timing_enter generated_files_check -if [ `git status --porcelain | wc -l` -ne 0 ]; then +if [ `git status --porcelain --ignore-submodules | wc -l` -ne 0 ]; then echo "Generated files missing from .gitignore:" git status --porcelain exit 1 diff --git a/autopackage.sh b/autopackage.sh index bc18182c4..cfb04877f 100755 --- a/autopackage.sh +++ b/autopackage.sh @@ -14,7 +14,7 @@ timing_enter autopackage $MAKE clean -if [ `git status --porcelain | wc -l` -ne 0 ]; then +if [ `git status --porcelain --ignore-submodules | wc -l` -ne 0 ]; then echo make clean left the following files: git status --porcelain exit 1