2017-03-01 13:09:08 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
# output version
|
2017-10-18 20:45:11 +00:00
|
|
|
bash .ci/printinfo.sh
|
2017-03-01 13:09:08 +00:00
|
|
|
|
|
|
|
|
make clean > /dev/null
|
|
|
|
|
|
2017-03-02 08:05:40 +00:00
|
|
|
echo "checking..."
|
2017-03-15 20:29:09 +00:00
|
|
|
./helper.pl --check-source --check-makefiles --check-defines|| exit 1
|
2017-03-01 13:09:08 +00:00
|
|
|
|
|
|
|
|
exit 0
|
|
|
|
|
|
2017-06-19 11:43:49 +00:00
|
|
|
# ref: $Format:%D$
|
|
|
|
|
# git commit: $Format:%H$
|
|
|
|
|
# commit time: $Format:%ai$
|
