diff options
author | Simon Josefsson <simon@josefsson.org> | 2010-04-29 08:46:14 +0200 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2010-04-29 08:46:14 +0200 |
commit | b42b4137016986c073adcc8d0d5a0182aae38c7b (patch) | |
tree | ee525f3bb0c02a0346122e5a597c2e9cf372342f /top | |
parent | 6c68019139b5480c2a66b390e55577f3b73a35a4 (diff) | |
download | gnulib-b42b4137016986c073adcc8d0d5a0182aae38c7b.tar.gz |
top/maint.mk (indent): Run twice to produce idempotent results.
Diffstat (limited to 'top')
-rw-r--r-- | top/maint.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/top/maint.mk b/top/maint.mk index ed41389a44..6389c38100 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -1127,10 +1127,12 @@ refresh-po: echo 'en@quot' >> $(PODIR)/LINGUAS && \ ls $(PODIR)/*.po | sed 's/\.po//' | sed 's,$(PODIR)/,,' | sort >> $(PODIR)/LINGUAS + # Running indent once is not idempotent, but running it twice is. INDENT_SOURCES ?= $(C_SOURCES) .PHONY: indent indent: indent $(INDENT_SOURCES) + indent $(INDENT_SOURCES) # If you want to set UPDATE_COPYRIGHT_* environment variables, # put the assignments in this variable. |