2017-03-01 08:09:08 -05:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
# output version
|
|
|
|
|
bash printinfo.sh
|
|
|
|
|
|
|
|
|
|
make clean > /dev/null
|
|
|
|
|
|
2017-03-02 03:05:40 -05:00
|
|
|
echo "checking..."
|
|
|
|
|
./helper.pl --check-source --check-makefiles || exit 1
|
2017-03-01 08:09:08 -05:00
|
|
|
|
|
|
|
|
exit 0
|
|
|
|
|
|
|
|
|
|
# $Source$
|
|
|
|
|
# $Revision$
|
|
|
|
|
# $Date$
|
