diff options
Diffstat (limited to 'tools/pygrub/Makefile')
-rw-r--r-- | tools/pygrub/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/pygrub/Makefile b/tools/pygrub/Makefile index bd22dd41f2..8c99e11b68 100644 --- a/tools/pygrub/Makefile +++ b/tools/pygrub/Makefile @@ -14,7 +14,10 @@ install: all $(PYTHON_PREFIX_ARG) --root="$(DESTDIR)" \ --install-scripts=$(PRIVATE_BINDIR) --force $(INSTALL_DIR) $(DESTDIR)/var/run/xend/boot - ln -sf $(PRIVATE_BINDIR)/pygrub $(DESTDIR)/$(BINDIR) + set -e; if [ `readlink -f $(DESTDIR)/$(BINDIR)` != \ + `readlink -f $(PRIVATE_BINDIR)` ]; then \ + ln -sf $(PRIVATE_BINDIR)/pygrub $(DESTDIR)/$(BINDIR); \ + fi .PHONY: clean clean: |