diff options
-rwxr-xr-x | scripts/gen_build_files.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/gen_build_files.sh b/scripts/gen_build_files.sh index 1c1edcc12..130269b10 100755 --- a/scripts/gen_build_files.sh +++ b/scripts/gen_build_files.sh | |||
@@ -87,4 +87,5 @@ generate \ | |||
87 | fi | 87 | fi |
88 | done | 88 | done |
89 | 89 | ||
90 | # Last read failed. This is normal. Don't exit with its error code: | ||
90 | exit 0 | 91 | exit 0 |