Skip to content

Instantly share code, notes, and snippets.

@kwilczynski
Last active June 24, 2024 00:16
Show Gist options
  • Save kwilczynski/7393efd0231201de375401b7b02b68bf to your computer and use it in GitHub Desktop.
Save kwilczynski/7393efd0231201de375401b7b02b68bf to your computer and use it in GitHub Desktop.
Build smatch
make clean
export PATH='/usr/local/bin:/usr/local/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin'
make PREFIX='/usr' -j$(nproc)
make DESTDIR='/tmp/smatch' PREFIX='/usr' install
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment