diff options
author | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2014-02-10 10:50:23 +0100 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2014-02-10 10:50:48 +0100 |
commit | a49d49d0520fa738c03cb714eb0d8040177108c6 (patch) | |
tree | 7488327b80b809f1132ae748f2c9f9a0188dde19 | |
parent | e925a0b506e84bf108c505d61459f4428e101476 (diff) | |
download | gnutls-a49d49d0520fa738c03cb714eb0d8040177108c6.tar.gz |
updated indent cmd
-rw-r--r-- | maint.mk | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1536,8 +1536,8 @@ refresh-po: INDENT_SOURCES ?= $(C_SOURCES) .PHONY: indent indent: - indent $(INDENT_SOURCES) - indent $(INDENT_SOURCES) + indent -linux $(INDENT_SOURCES) + indent -linux $(INDENT_SOURCES) # If you want to set UPDATE_COPYRIGHT_* environment variables, # put the assignments in this variable. |