Commit 84db56dd authored by Miroslav Kravec's avatar Miroslav Kravec

Check git files are unchanged after build by TravisCI

parent 0e8daea0
......@@ -24,4 +24,5 @@ script:
- ./configure
- make -j4
- make check-db
- ./scripts/
#!/usr/bin/env bash
if [[ "$(git status -s)" == "" ]];
echo -e "\033[1;32mGOOD:\033[0;32m git files are unchanged after build.\033[0m"
echo -e "\033[1;31mERROR:\033[0;31m git files have changed.\033[0m"
git status
exit 1
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment