You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 lines
279 B
7 lines
279 B
#!/bin/bash
|
|
|
|
if ! diff -u <(grep -E 'sudo apt-get install .*git' README.md) \
|
|
<(grep -E 'sudo apt-get install .*git' doc/INSTALL.md); then
|
|
echo "Dependencies listed in README.md are not identical to those listed in doc/INSTALL.md (see above). Please fix."
|
|
exit 1
|
|
fi
|
|
|