[auton-users] arch*.sh scripts

[Pat Gunn]

> Paul already found one non-standard call ( $() instead of `` - I'd have
> missed this since the FreeBSD sh also happens to support this). Apart from
> that, "make" needs to be "gmake" everywhere.
>
> With this change I can make "sh ../smallbutuseful/archdir.sh" work.
>
> archexe.sh doesn't like the pushd/popd. Maybe just enclose a big chunk in a
> () block (meaning to spawn a subshell for it, which forget all the "cd"s
> you do after it terminates).

I personally think this is wasted effort -- it makes the script harder
to read, and for very little benefit. Bash is on all facilitized OS's
we need to care about, and is on many other OS's, and is easy to install
elsewhere. I don't think it's at all unreasonable to require it, any more
than requiring that gnumake be installed is unreasonable.

-- 
Pat Gunn
Research Programmer, Auton Group, CMU