Re: bin/50557: build.sh does not run on Nixos

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Mon, 30 May 2016 14:49:05 +0200
    From:        Joerg Sonnenberger <joerg%bec.de@localhost>
    Message-ID:  <20160530124905.GA20925%britannica.bec.de@localhost>

  | The idea here was to explicitly force the external pwd and "env pwd"
  | does exactly that?

That's not guaranteed, env can be builtin too.   There's no way (except
exec) to guarantee running an external executable.

What is best depends whether this is to deal with one specific system,
in which case it is fine to just use /bin/pwd (or wherever it is found)
or whether you want something that is supposed to work everywhere.

If the latter, then perhaps

	TOP=$( (exec pwd -P 2>/dev/null) || (exec pwd 2>/dev/null) )

kre