We're about to put one in configure. Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
These commands fail on systems that do not have bash under /bin Signed-off-by: William Casarin <jb55@jb55.com>