Jim Meyering <[email protected]> writes: > Simon Josefsson wrote: >> Running 'make syntax-check' when /bin/sh is bash works fine, but not >> when /bin/sh is dash. Reproduce by 'git clone >> git://git.savannah.gnu.org/gnutls.git && cd gnutls && make >> syntax-check'. Any ideas? I worked around the problem and don't have >> time to look into a proper fix now, but thought I should mention the >> issue in case someone else wants to look into it. > > Thanks! > There were actually two problems! > This fixes both:
Confirmed as working, thanks! /Simon
