]> err.no Git - yubikey-personalization/commitdiff
Fix release rules. v1.14.1
authorSimon Josefsson <simon@josefsson.org>
Mon, 16 Sep 2013 09:40:04 +0000 (11:40 +0200)
committerSimon Josefsson <simon@josefsson.org>
Mon, 16 Sep 2013 09:40:04 +0000 (11:40 +0200)
Makefile.am

index 90065c75bd9dd32b7ec00b8385dc2b2ba3187228..52eeb6669cdc9e1930daf8d809231a942848aa88 100644 (file)
@@ -127,7 +127,7 @@ release:
        fi
        @head -3 $(srcdir)/NEWS | grep -q "Version $(VERSION) .released `date -I`" || \
                (echo 'error: You need to update date/version in $(srcdir)/NEWS, see doc/MakeRelease.wiki.'; exit 1)
-       @if test ! -d $(YUBICO_GITHUB_REPO); then \
+       @if test ! -d "$(YUBICO_GITHUB_REPO)"; then \
                echo "yubico.github.com repo not found!"; \
                echo "Make sure that YUBICO_GITHUB_REPO is set"; \
                exit 1; \