#!/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