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.
|
#!/bin/sh
|
|
if ! git diff --exit-code; then
|
|
>&2 echo "'make astyle' found code style differences. Please make astyle and commit your changes"
|
|
exit 1;
|
|
fi
|
|
exit 0;
|
|
|
