diff --git a/check b/check new file mode 100755 index 000000000..660811383 --- /dev/null +++ b/check @@ -0,0 +1,3 @@ +#!/bin/bash + +./ninja format && ./ninja check