Re: ./scripts/buildscript depends on bash

[Thiemo Seufer <ica2_ts@csv.ica.uni-stuttgart.de>]

Rafael Ávila de Espíndola wrote:
> the buildscript uses pushd that isn't available in dash. Perhaps the first 
> line should read "#/bin/bash"?

Done, thanks for the notice.


Thiemo