Skip to content

[#1681] fix database scripts being installed twice

Andrei Pavel requested to merge 1681-double-install-race-for-database-scripts into master

which is unnecessary, but would also result in a race condition if make-installed on multiple threads wich might also be the default on some systems

Closes #1681 (closed)

Merge request reports