Merged in NRRPLT-8551 (pull request #90)

[NRRPLT-8551] Exit from devinstall on failed installation.

When some module is not installed, make devinstall just continues without throwing an error. This creates an illusion that the installation is going to be successful but it can fail.

* [NRRPLT-8551] Delete EPFL placeholder

Approved-by: Ugo Albanese

config_files/user_makefile

@@ -75,12 +75,8 @@ print-%:
 
 devinstall: virtualenv
 	for f in $(INSTALL_MODULES); do \
-		if [ -f $$f/setup_requirements.txt ]; then \
-			$(PIP) install $(PIPPROXY) -r $$f/setup_requirements.txt; \
-                fi; \
-		sed -i 's/.*# *EPFL_SPECIFIC/#&/' $$f/requirements.txt; \
-		(cd $$f && $(PIP) install $(PIPPROXY) --pre -e .$(OPTIONAL_FEATURES)); \
-		sed -i '/# *EPFL_SPECIFIC/s/^#*//' $$f/requirements.txt; \
+		[ -f $$f/setup_requirements.txt ] && $(PIP) install $(PIPPROXY) -r $$f/setup_requirements.txt; \
+		(cd $$f && $(PIP) install $(PIPPROXY) --pre -e .$(OPTIONAL_FEATURES)) || exit 1; \
 	done
 
 #delete everything we don't need