diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Makefile.am b/Makefile.am index d5763f49a..1e18bde15 100644 --- a/Makefile.am +++ b/Makefile.am @@ -16,18 +16,3 @@ dist-hook: ChangeLog: cvs2cl.pl -b --gmt --log-opts "-d'1998-06-30< now'" --window 7200 --usermap ChangeLog.usermap --ignore ChangeLog --fsf - -indent: - find native/ -type f | \ - grep \\.[ch]$$ | \ - awk ' \ - {print "indent " $$1 " -o " $$1 ".indented && \ - if cmp -s " $$1 " " $$1 ".indented; \ - then rm " $$1 ".indented; \ - else mv " $$1 " " $$1 ".bak; \ - mv " $$1 ".indented " $$1 "; \ - echo " $$1 "; \ - fi"} \ - ' | \ - sh - |