00 0 #!/tools/bin/bash #!/bin/sh cd $PKGDIR && exit make -k make -k check ( cat << EOF ) > && $PAGE **EDITME EDITME**