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.
 
 
 
 
 
 

8 lines
287 B

#!/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