8000 make sure error files get built when arangod is built by jsteemann · Pull Request #10284 · arangodb/arangodb · GitHub

make sure error files get built when arangod is built#10284

Merged

jsteemann merged 3 commits intodevelfrom

bug-fix/rebuild-errorfiles-when-building-arangod

Oct 21, 2019

Commits on Oct 20, 2019

make sure error files get built when arangod is built
jsteemann
committed

Commits on Oct 21, 2019

0