Browse Source

Assign execute permission to tools/build

We should run tools/build to generate amalgamation source code
but that script has no execute permission.
It's a bit consuming to "chmod +x"
pull/31/head
Yusuke Nakamura 6 years ago
parent
commit
4ec94f1237
  1. 0
      tools/build

0
tools/build

Loading…
Cancel
Save