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.
/Simon
