Hi Niels, > I suspect it might be the shell. Make resets SHELL to /bin/sh AFAIR and > the error smells like a bashism with a non-bash shell.
> export CONFIG_SHELL=/bin/sh This has been there since around 6 years ... so I am a bit surprised that this might have an influence, but I am retesting just now ... Thanks Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
