aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile6
1 files changed, 2 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index f4852082a..8e163dc8c 100644
--- a/Makefile
+++ b/Makefile
@@ -135,10 +135,8 @@ build-exec: $(PROGS)
cleanup_files+=$(EXECS)
$(EXECS): build
for f in $@; do \
- [ -f $$f ] || { \
- find $(BUILDDIR) -type f -name "$$f" \
- -perm +a=x -exec ln -s {} . \; ; \
- } \
+ find $(BUILDDIR) -type f -name "$$f" \
+ -perm +a=x -exec ln -s -f {} . \; ; \
done
.PHONY: build-doc