install-smatch.sh

#!/bin/bash
# SPDX-License-Identifier: GPL-2.0-or-later
#
# Copyright (C) 2024 Collabora, Helen Koike <helen.koike@collabora.com>

set -exo pipefail

pushd /
git clone --depth 1 https://repo.or.cz/smatch.git
pushd smatch
make
popd
popd