diff --git a/Makefile b/Makefile index 2219668ee..da71a4e02 100644 --- a/Makefile +++ b/Makefile @@ -4,5 +4,9 @@ all: clean: ./build.pl clean +presubmit: + ./build.pl clean + ./build.pl -v -t allfast + checkdeps: ./build.pl --eachclean && echo "SUCCESS"