From 82c4e64454e5ef40866c78e74830b0d783dfe74a Mon Sep 17 00:00:00 2001 From: Lorenzo Paulatto Date: Thu, 30 Apr 2020 10:09:59 +0200 Subject: [PATCH] Modified plugin_makefile to avoid deleting the D3Q directory if it contains a file called "protect" previous implementation was not working because makefile calls /usr/bin/test and not the bash test builtin, and they have different options. --- install/plugins_makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install/plugins_makefile b/install/plugins_makefile index bd9c65e3e..610a7ff0f 100644 --- a/install/plugins_makefile +++ b/install/plugins_makefile @@ -40,7 +40,7 @@ d3q_clean: #d3q_veryclean: d3q_clean d3q_veryclean: d3q_clean # delete unpacked directory and its links, keep the archive - test -a ../D3Q/protect || \ + test -e ../D3Q/protect || \ (cd ..; \ i=D3Q; \ while j=$$(readlink $$i);do rm -rf $$i; i=$$j;done;\