13 lines
191 B
Bash
Executable File
13 lines
191 B
Bash
Executable File
#!/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
|