[PATCH 1/6] test: Convince make not to accidentally delete exetool

Our exeter tests make use of exetool, a tool that's part of the exeter tree. Both Yumei and I have seen cases where exetool is missing, despite it being from an external tree we shouldn't be touching. I haven't pinned down the exact circumstances in which this happens, but I think this is occurring because the way the Makefile refers to it can make it look like an intermediate target that make may delete when interrupted. Mark it as .PRECIOUS to prevent that. Signed-off-by: David Gibson --- test/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/Makefile b/test/Makefile index 49388276..69987d0b 100644 --- a/test/Makefile +++ b/test/Makefile @@ -81,6 +81,8 @@ pull-%: % exeter: git clone https://gitlab.com/dgibson/exeter.git +# Don't delete this, make, even though it looks like an intermediate target +.PRECIOUS: exeter/exetool/exetool exeter/exetool/exetool: pull-exeter mbuto: -- 2.51.0