tiny improvement#1093

Open

joeyjiaojg wants to merge 2 commits intoSVF-tools:masterfrom

joeyjiaojg:master

Commits on May 18, 2023

add COMPILE_FLAGS pass to cmake config

joeyjiaojg
authored and
Security CI
committed
JOBS to override default jobs

joeyjiaojg
authored and
Security CI
committed