Hello, On Mon, May 02, 2011 at 11:33:37AM +0200, Belisko Marek wrote: > 2011/5/2 Uwe Kleine-König <u.kleine-koenig@xxxxxxxxxxxxxx>: > > > > Maybe instead use > > > > -#!/bin/sh > > +#!/bin/bash > IMO this is not generic solution. > Because debian based distros has dash by default > in /bin/sh this users must always change MAKEALL script? Even Debian users should have a bash in /bin/bash though. At least I have :-) Either you or me has a misunderstanding. Best regards Uwe -- Pengutronix e.K. | Uwe Kleine-König | Industrial Linux Solutions | http://www.pengutronix.de/ | _______________________________________________ barebox mailing list barebox@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/barebox
