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:51:14 +0100 |
commit | 6d3e17ede017d1c7cbf7575c6223a40ce78cf364 (patch) | |
tree | 33575f51e31e3f7c85d354f99ff9bb015a08a92e | |
parent | 49e83f4fcf98b437e27426b5b6d8fc21671cdb6e (diff) | |
download | gnutls-6d3e17ede017d1c7cbf7575c6223a40ce78cf364.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. |