From: Nikos Mavrogiannopoulos Date: Mon, 10 Feb 2014 09:50:23 +0000 (+0100) Subject: updated indent cmd X-Git-Tag: gnutls_3_1_21~6 X-Git-Url: http://git.ipfire.org/gitweb/?a=commitdiff_plain;h=6d3e17ede017d1c7cbf7575c6223a40ce78cf364;p=thirdparty%2Fgnutls.git updated indent cmd --- diff --git a/maint.mk b/maint.mk index 9c02ed4e35..6799cd23ac 100644 --- a/maint.mk +++ b/maint.mk @@ -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.