From: Simon Josefsson <simon@josefsson.org>
Date: Fri, 3 Mar 2006 13:31:30 +0000 (+0000)
Subject: * build-aux/maint.mk: Add indent target.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fef71c83bc8291522ae54810ae9b4238ca13cf1a;p=pspp

* build-aux/maint.mk: Add indent target.
---

diff --git a/ChangeLog b/ChangeLog
index 6546564a70..2f428dccb9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2006-03-03  Simon Josefsson  <jas@extundo.com>
+
+	* build-aux/maint.mk: Add indent target.
+
 2006-03-01  Paul Eggert  <eggert@cs.ucla.edu>
 
 	* modules/gettime (Depends-on): Add extensions module.
diff --git a/build-aux/maint.mk b/build-aux/maint.mk
index b5ae6d78b9..bd12e92cae 100644
--- a/build-aux/maint.mk
+++ b/build-aux/maint.mk
@@ -50,3 +50,8 @@ syntax-check-rules := $(shell sed -n 's/^\(sc_[a-zA-Z0-9_-]*\):.*/\1/p' $(ME))
 .PHONY: $(syntax-check-rules)
 
 syntax-check: $(syntax-check-rules)
+
+INDENT_SOURCES ?= $(C_SOURCES)
+.PHONY: indent
+indent:
+	indent $(C_SOURCES)