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:23 +0100 |
| commit | 505540944f1dd6a655a691714aed6d54ea7671fa (patch) | |
| tree | a621f052bd10994bb9524e3eb701d522fb443186 /maint.mk | |
| parent | 12b7b0e017ac20cba6007dcdccd3e7782653ffe9 (diff) | |
| download | gnutls-505540944f1dd6a655a691714aed6d54ea7671fa.tar.gz | |
updated indent cmd
Diffstat (limited to 'maint.mk')
| -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. |