diff options
| -rwxr-xr-x | bin/update_pch | 3 | ||||
| -rwxr-xr-x | bin/update_pch.sh | 5 |
2 files changed, 7 insertions, 1 deletions
diff --git a/bin/update_pch b/bin/update_pch index 6641f1584055..9b541d8a87a9 100755 --- a/bin/update_pch +++ b/bin/update_pch @@ -1107,7 +1107,8 @@ def main(): return 0 # Didn't update. - return 1 + # Use exit code 2 to distinguish it from exit code 1 used e.g. when an exception occurs. + return 2 if __name__ == '__main__': """ Process all the includes in a Module diff --git a/bin/update_pch.sh b/bin/update_pch.sh index 78b4a47e6044..4c17a0374757 100755 --- a/bin/update_pch.sh +++ b/bin/update_pch.sh @@ -58,6 +58,11 @@ for x in $headers; do libname=`echo $header | sed -e s/.*precompiled_// -e s/\.hxx//` ./bin/update_pch "$module" "$libname" + exitcode=$? + if test $exitcode -ne 0 -a $exitcode -ne 2; then + echo Failed. + exit 1 + fi fi done |