Date: Friday, January 17, 2020 @ 23:08:57 Author: heftig Revision: 373645
Also replace error Modified: firefox/trunk/PKGBUILD ----------+ PKGBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-01-17 23:07:29 UTC (rev 373644) +++ PKGBUILD 2020-01-17 23:08:57 UTC (rev 373645) @@ -124,12 +124,12 @@ ./mach python build/pgo/profileserver.py if [[ ! -s merged.profdata ]]; then - error "No profile data produced." + echo "No profile data produced." return 1 fi if [[ ! -s jarlog ]]; then - error "No jar log produced." + echo "No jar log produced." return 1 fi