Module: xenomai-forge
Branch: next
Commit: 0c9e1d1b68cd3339790fb47f9565401c7df80ee2
URL:    
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=0c9e1d1b68cd3339790fb47f9565401c7df80ee2

Author: Philippe Gerum <r...@xenomai.org>
Date:   Thu Aug  7 16:38:08 2014 +0200

build: exit on invalid documentation repository

---

 doc/gitdoc/Makefile.am |    2 +-
 doc/gitdoc/Makefile.in |    2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/gitdoc/Makefile.am b/doc/gitdoc/Makefile.am
index 3bef0c6..d1f605c 100644
--- a/doc/gitdoc/Makefile.am
+++ b/doc/gitdoc/Makefile.am
@@ -23,7 +23,7 @@ OUTPUT_DOCS =                                                 
\
        doc/asciidoc/TROUBLESHOOTING.MERCURY.adoc
 
 all-local: git-src-check
-       @if test \! x$(XENO_DOC_GIT) = x; then  \
+       @set -e; if test \! x$(XENO_DOC_GIT) = x; then  \
                if test -d doc.git; then \
                        (cd doc.git && git pull --quiet --force); \
                else \
diff --git a/doc/gitdoc/Makefile.in b/doc/gitdoc/Makefile.in
index c7d7f47..1a258a7 100644
--- a/doc/gitdoc/Makefile.in
+++ b/doc/gitdoc/Makefile.in
@@ -493,7 +493,7 @@ uninstall-am:
 @XENO_BUILD_DOC_FALSE@git-src-check:
 
 all-local: git-src-check
-       @if test \! x$(XENO_DOC_GIT) = x; then  \
+       @set -e; if test \! x$(XENO_DOC_GIT) = x; then  \
                if test -d doc.git; then \
                        (cd doc.git && git pull --quiet --force); \
                else \


_______________________________________________
Xenomai-git mailing list
Xenomai-git@xenomai.org
http://www.xenomai.org/mailman/listinfo/xenomai-git

Reply via email to