Installation failure on FreeBSD

[avysk]

See

bin_prot/xen/cflags.sh

Line 1 in c290556

#!/bin/bash

/bin/bash does not exist on FreeBSD. If I install it from ports, it is /usr/local/bin/bash. The ln -s /usr/local/bin/bash /bin/bash workaround helps. Hardcoded paths are wrong.

[michaelzappa-jhuapl]

As well as on non-FHS Linux distributions.

[aalekseyev]

I'm changing it to run /usr/bin/env bash (on the internal repo, will make its way here eventually)

[aalekseyev]

Nvm, #29 is clearly simpler :-)