2018-07-23 23:06:04 +01:00
|
|
|
#!/usr/bin/env bash
|
2018-01-18 16:35:56 +00:00
|
|
|
|
2018-04-05 06:11:19 +01:00
|
|
|
if ! diff -u <(grep -E 'sudo apt-get install .*git' README.md) \
|
|
|
|
|
<(grep -E 'sudo apt-get install .*git' doc/INSTALL.md); then
|
2018-01-18 16:35:56 +00:00
|
|
|
echo "Dependencies listed in README.md are not identical to those listed in doc/INSTALL.md (see above). Please fix."
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
