From 101a42668a068f76f694916892fdabd5c28103d6 Mon Sep 17 00:00:00 2001
From: Tobias Reiher <reiher@adacore.com>
Date: Fri, 25 Aug 2023 14:35:33 +0200
Subject: [PATCH] Fix reinstallation of editable installs

Ref. eng/recordflux/RecordFlux#1378
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 4a1c8b04a..df7792abc 100644
--- 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