Code

build.sh: use ninja#303

Code

Open

gerion0 wants to merge 2 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom luhsra:ninjaluhsra/SVF:ninjaCopy head branch name to clipboard

+6-5

Commits

Commits on Aug 25, 2020

• build.sh: use ninja

  gerion0

  committed
  3512a4a

  Copy full SHA for 3512a4a

• build.sh: print all command lines when building SVF

  gerion0

  committed
  6b87d91

  Copy full SHA for 6b87d91