Make reinstallation of editable installs more robust

Ref. eng/recordflux/RecordFlux#1378
AdaCore · Aug 21, 2023 · e63b56f · e63b56f
1 parent 2b36c65
commit e63b56f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -214,6 +214,7 @@ install: install_build_deps $(SDIST)
 
 install_devel: install_build_deps parser
 	$(MAKE) -C devutils install_devel
+	rm -rf $(BUILD_DIR)/build/__editable__.*
 	pip3 install --force-reinstall -e ".[devel]" --config-settings editable_mode=strict
 
 install_devel_edge: install_devel