Fix reinstallation of editable installs

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