tree f0803039bb667cbda06252080c4edf6f56322c12
parent 994fc34b2fe75130751ba66344bf5ae07fe62c33
author Radek Krejci <rkrejci@cesnet.cz> 1568033264 +0200
committer Radek Krejci <rkrejci@cesnet.cz> 1568033264 +0200

schema compilation BUGFIX check return code when precompiling extension instances

Fixes #874