committed by
Rusty Russell
2 changed files with 12 additions and 1 deletions
@ -0,0 +1,8 @@ |
|||||
|
#!/bin/bash |
||||
|
|
||||
|
diff -u <(egrep 'sudo apt-get install .*git' README.md) \ |
||||
|
<(egrep 'sudo apt-get install .*git' doc/INSTALL.md) |
||||
|
if [[ $? != 0 ]]; then |
||||
|
echo "Dependencies listed in README.md are not identical to those listed in doc/INSTALL.md (see above). Please fix." |
||||
|
exit 1 |
||||
|
fi |
Loading…
Reference in new issue