You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
- #!/bin/bash
-
- # output version
- bash printinfo.sh
-
- make clean > /dev/null
-
- echo "checking..."
- ./helper.pl --check-source --check-makefiles --check-defines|| exit 1
-
- exit 0
-
- # ref: $Format:%D$
- # git commit: $Format:%H$
- # commit time: $Format:%ai$
|