Use printf instead of echo, just in case
...$PRODUCTNAME happens to be -n (which is notoriously problematic with various versions of echo). Change-Id: I09dfb562689138aa0135982725bf2c254ce06e59 Reviewed-on: https://gerrit.libreoffice.org/50104Tested-by:Jenkins <ci@libreoffice.org> Reviewed-by:
Stephan Bergmann <sbergman@redhat.com>
Showing
Please
register
or
sign in
to comment