parent
72c1a7fb5e
commit
0cbe120d8c
@ -1,11 +0,0 @@
|
||||
#!/bin/bash
|
||||
cd `dirname $0`
|
||||
|
||||
if [ ${JOB} == "DOCS" ]; then
|
||||
./build_doc.sh
|
||||
elif [ ${JOB} == "PRE_COMMIT" ]; then
|
||||
./check_style.sh
|
||||
else
|
||||
echo "Unknown Travis CI job: ${JOB}"
|
||||
exit 0 # Don't fail due to unknown Travis CI job.
|
||||
fi
|
Loading…
Reference in new issue