<html> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> </head> <body text="#000000" bgcolor="#FFFFFF"> Thanks! Note that checkbashisms 2.17.12-1 failed to catch this when I debugged this issue. <a class="moz-txt-link-freetext" href="https://www.archlinux.org/packages/community/any/checkbashisms/">https://www.archlinux.org/packages/community/any/checkbashisms/</a> Also note that on Arch Linux, I used dash 0.5.9.1-1, whereas Debian only has various older versions <a class="moz-txt-link-freetext" href="https://packages.debian.org/search?keywords=dash">https://packages.debian.org/search?keywords=dash</a> Running shellcheck and checkbashisms regularly is advisable even for autoconf generated scripts. <div class="moz-cite-prefix">On 22-02-18 12:07, Eike Rathke wrote: </div> <blockquote type="cite" cite="mid:20180222110744.GP12167@remotee.erack.redhat.com"> <pre wrap="">Hi Sander, On Wednesday, 2018-02-21 14:03:49 +0100, Sander Maijers wrote: </pre> <blockquote type="cite"> <pre wrap="">I have set dash as /bin/sh. </pre> </blockquote> <pre wrap=""> "Funny", because Debian has dash there as well and no problem. Anyway.. this </pre> <blockquote type="cite"> <pre wrap="">./configure fails due a syntax error, since `${PRODUCTNAME// /}` not a portable syntax. </pre> </blockquote> <pre wrap=""> has been changed to PRODUCTNAME_WITHOUT_SPACES=$(printf %s "$PRODUCTNAME" | sed 's/ //g') on master. Eike </pre> </blockquote> </body> </html>