On Mon, Jan 21, 2008 at 11:38:02AM +0000, Chisel Wright wrote:
> "ubuntu does link sh to dash instead of bash for a while now. dash does
> not work properly with the distributed build environment."
>
> Is there a workaround for this? (that doesn't involve changing the
> softlink on my system)

Would this work (as a local change):

  In Makefiles, you can set the following variable at the top:
  SHELL = /bin/bash

 from: https://wiki.ubuntu.com/DashAsBinSh

or is it further reaching than the makefile?

-- 
Chisel Wright
e: chisel_at_herlpacker.co.uk
w: http://www.herlpacker.co.uk/
  You can simulate the effect of buying a boat by standing in
  a cold shower while tearing up twenty pound notes...