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