updated indent cmd

diff --git a/maint.mk b/maint.mk
index 9c02ed4e3572a69c9ee014c46d243057543c3f46..6799cd23aca81470c85e25d4618d44c910b4ba9b 100644 (file)
--- 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.