making the source file executable under git was not enough, I suspect setup.py enforc...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 29 Dec 2018 19:58:57 +0000 (20:58 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 29 Dec 2018 19:58:57 +0000 (20:58 +0100)
Makefile

index 3e3069f..d7c2bae 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -26,6 +26,7 @@ install: install-miscell install-startup
        $(PYTHON) setup.py install \
                --install-purelib=$(DESTDIR)/$(datadir)/NodeManager \
                --install-platlib=$(DESTDIR)/$(datadir)/NodeManager
+       chmod +x $(DESTDIR)/$(datadir)/NodeManager/conf_files.py
 
 
 # might be better in setup.py ?