blob: a1240b2949d340f79637352e5c05ee78d13c2c0f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/bash
# this script is a temporary workaround for not having a proper clippy-json target
source /etc/profile
cd build || exit $?
# compile as far as we can
ninja
ninja clippy-json
|