diff options
author | Simon Josefsson <simon@josefsson.org> | 2010-04-15 09:47:01 +0200 |
---|---|---|
committer | Simon Josefsson <simon@josefsson.org> | 2010-04-15 09:47:01 +0200 |
commit | 51cbcfd76b83ed429aaa4bfa9ab8a998628f1293 (patch) | |
tree | ef71f538e8487073af77732ca4297f56f5ed0c68 /gl | |
parent | 0370552e6a134d9872b3173451cc270f9ef6cf4f (diff) | |
download | gnutls-51cbcfd76b83ed429aaa4bfa9ab8a998628f1293.tar.gz |
Update gnulib files.
Diffstat (limited to 'gl')
-rw-r--r-- | gl/override/top/maint.mk.diff | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gl/override/top/maint.mk.diff b/gl/override/top/maint.mk.diff new file mode 100644 index 0000000000..b44951c923 --- /dev/null +++ b/gl/override/top/maint.mk.diff @@ -0,0 +1,10 @@ +--- maint.mk.orig 2010-04-15 09:42:17.000000000 +0200 ++++ maint.mk 2010-04-15 09:42:32.000000000 +0200 +@@ -1099,6 +1099,7 @@ + .PHONY: indent + indent: + indent $(INDENT_SOURCES) ++ indent $(INDENT_SOURCES) # Ident is not idempotent! + + # If you want to set UPDATE_COPYRIGHT_* environment variables, + # put the assignments in this variable. |