check_source.sh 189 B

123456789101112131415
  1. #!/bin/bash
  2. # output version
  3. bash printinfo.sh
  4. make clean > /dev/null
  5. echo "checking..."
  6. ./helper.pl --check-source --check-makefiles || exit 1
  7. exit 0
  8. # $Source$
  9. # $Revision$
  10. # $Date$