From 7675637b760ee939597c5e1ee17317a4728de00b Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Thu, 20 Apr 2017 13:43:51 +0200
Subject: [PATCH] minor change
---
App/tools/driver.makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/App/tools/driver.makefile b/App/tools/driver.makefile
index 7b0eca30..0cb55f03 100644
--- a/App/tools/driver.makefile
+++ b/App/tools/driver.makefile
@@ -471,7 +471,7 @@ else
install:: build
@test ! -d ${MODULE_LOCATION}/R${EPICSVERSION}/lib/${T_A} || \
(echo -e "Warning: Re-installing ${MODULE_LOCATION}/R${EPICSVERSION}/lib/${T_A}"; \
- rm -rf ${MODULE_LOCATION}/R${EPICSVERSION}/lib/${T_A})
+ $(RMDIR) ${MODULE_LOCATION}/R${EPICSVERSION}/lib/${T_A})
endif
install build debug:: O.${EPICSVERSION}_Common O.${EPICSVERSION}_${T_A}
--
GitLab