diff options
| author | 2023-07-10 11:45:09 +0000 | |
|---|---|---|
| committer | 2023-07-10 11:45:09 +0000 | |
| commit | ab8ed75b6b1bf261a1ace3844190b0931c831d0c (patch) | |
| tree | 089bcb74894598bb51248872141545838f4e0e23 | |
| parent | b2ace8d72de5ca106eab5fa2dad136d482c399a9 (diff) | |
| parent | ce08efd395a5d0cfc7907da9f034f761c5f9c879 (diff) | |
Merge "kzip build: pipe error message to stderr." into main
| -rwxr-xr-x | build_kzip.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_kzip.bash b/build_kzip.bash index dddcd3f3f..b1618616b 100755 --- a/build_kzip.bash +++ b/build_kzip.bash @@ -71,7 +71,7 @@ done set +e declare -r kzip_count=$(find "$out" -name '*.kzip' | wc -l) -(($kzip_count>100000)) || { printf "Too few kzip files were generated: %d\n" $kzip_count; exit 1; } +(($kzip_count>100000)) || { >&2 printf "ERROR: Too few kzip files were generated: %d\n" $kzip_count; exit 1; } # Pack declare -r allkzip="$KZIP_NAME.kzip" |