diff options
Diffstat (limited to 'src/or/include.am')
| -rw-r--r-- | src/or/include.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/or/include.am b/src/or/include.am index e315caebeb..0ce3cdc5c3 100644 --- a/src/or/include.am +++ b/src/or/include.am @@ -190,7 +190,7 @@ ORHEADERS = \ noinst_HEADERS+= $(ORHEADERS) micro-revision.i micro-revision.i: FORCE - $(AM_V_GEN)rm -f micro-revision.tmp; \ + $(AM_V_at)rm -f micro-revision.tmp; \ if test -d "$(top_srcdir)/.git" && \ test -x "`which git 2>&1;true`"; then \ HASH="`cd "$(top_srcdir)" && git rev-parse --short=16 HEAD`"; \ |