tools: use /usr/bin/env bash instead of /bin/bash

These commands fail on systems that do not have bash under /bin

Signed-off-by: William Casarin <jb55@jb55.com>
This commit is contained in:
William Casarin
2018-07-23 15:06:04 -07:00
committed by Rusty Russell
parent 369bd274a1
commit f8fa4213f1
9 changed files with 9 additions and 9 deletions

View File

@@ -1,4 +1,4 @@
#!/bin/bash
#!/usr/bin/env bash
if ! diff -u <(grep -E 'sudo apt-get install .*git' README.md) \
<(grep -E 'sudo apt-get install .*git' doc/INSTALL.md); then