summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2015-03-24 19:30:28 -0700
committerKaz Kylheku <kaz@kylheku.com>2015-03-24 19:30:28 -0700
commit438dec1bd1ffbcfe2281ef21ccbede56b3fef272 (patch)
tree12f1b4211ca30adea15dc5cadd0e9eb3c676ddd9 /Makefile
parent622f87134be4d14aefac13f3c3013d08ebe7c5d0 (diff)
downloadtxr-438dec1bd1ffbcfe2281ef21ccbede56b3fef272.tar.gz
txr-438dec1bd1ffbcfe2281ef21ccbede56b3fef272.tar.bz2
txr-438dec1bd1ffbcfe2281ef21ccbede56b3fef272.zip
* Makefile (enforce): Update error error message.
* configure (have_git): Don't set this variable if the TXR repository is missing, even if git is installed. I.e. have_git means have have the tool and the repo.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 2f1e9bef..b2646949 100644
--- a/Makefile
+++ b/Makefile
@@ -318,8 +318,8 @@ ifneq ($(have_git),)
$(call GREP_CHECK,' ',tabs,0,'.')
$(call GREP_CHECK,' $$',trailing spaces,0,'.')
else
- echo "enforce requires git"
- exit 1
+ $(V)echo "enforce requires the git program and a git repository"
+ $(V)exit 1
endif
#