File: check

package info (click to toggle)
coq-doc 8.3pl4-1
  • links: PTS, VCS
  • area: non-free
  • in suites: wheezy
  • size: 20,504 kB
  • sloc: ml: 134,418; lisp: 2,734; ansic: 1,968; sh: 1,204; makefile: 611
file content (11 lines) | stat: -rwxr-xr-x 158 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
 
#!/bin/sh

MAKE="${MAKE:=make}"

if [ "$1" = -byte ]; then
  export BEST=byte
fi

${MAKE} clean > /dev/null 2>&1
${MAKE} all > /dev/null 2>&1
cat summary.log