Hi! On Thu, Oct 1, 2009 at 5:38 PM, Andreas Tille <[email protected]> wrote: > So what exatly is the bashism in > > #!/bin/sh -f > > echo "*** makevolume ***" > time makevolume > echo "*** rendervolume ***" > time rendervolume > ... > > ?
Because your "time" is from the time package. On systems without the time package installed, we get "dash: time: not found" We have time in bash, zsh, etc, but not in dash. Best regards, Nelson -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
