commit 77d8c2e2d7de83dc8202d99bb995c423299229fb Author: Nicolas Morey-Chaisemartin Date: Mon Oct 15 09:33:09 2018 +0200 fix race condition during install Signed-off-by: Nicolas Morey-Chaisemartin diff --git dev_mgt/Makefile.am dev_mgt/Makefile.am index 3118b85f97a4..193abaf79e11 100644 --- dev_mgt/Makefile.am +++ dev_mgt/Makefile.am @@ -46,7 +46,7 @@ libdev_mgt_a_SOURCES = \ dev_mgt_pylibdir = $(libdir)/mstflint/python_tools/ -dev_mgt_pylib_DATA = c_dev_mgt.so dev_mgt.py +dev_mgt_pylib_DATA = c_dev_mgt.so dist_dev_mgt_pylib_DATA = dev_mgt.py c_dev_mgt.so: libdev_mgt.a