Loïc Minier wrote: > I'll bump the severity to important as we're currently discussing > making dash the default /bin/sh.
the value of having dash as /bin/sh is, that bash can be removed. that's why i'll fix the makefile instead of calling it with bash. -- Address: Daniel Baumann, Burgunderstrasse 3, CH-4562 Biberist Email: [EMAIL PROTECTED] Internet: http://people.panthera-systems.net/~daniel-baumann/