From 4ceedeb0d4e3e350ba90a9e0446dcf665fb60461 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Mon, 16 Oct 2023 11:17:48 +0200
Subject: [PATCH] Fixed dangling file.

I think this is the correct way to fix a small issue of db70ebfa2c52e8cb83649218a5cc51269598aa48
discussed in #980. Indeed, the file without cpp extension should stay there to avoid
data races, and be removed at the end.

This closes #980, please reopen if necessary
---
 scripts/mklib.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mklib.sh b/scripts/mklib.sh
index 72a0dec87e..059ed69795 100755
--- a/scripts/mklib.sh
+++ b/scripts/mklib.sh
@@ -64,7 +64,7 @@ do
     exit 1
   }
 
-  rm -f ${tmpfile} ${tmpfile}.bak
+  rm -f ${tmpfile} ${tmpfile}.bak ${tmpfile%.cpp}
   objs="$objs $obj"
 
 done