diff options
author | Demi Obenour <demiobenour@gmail.com> | 2016-09-05 20:43:14 -0400 |
---|---|---|
committer | Will Estes <westes575@gmail.com> | 2016-09-25 19:40:10 -0400 |
commit | 749a8c80f73c6b45201109704048619260ceb0fc (patch) | |
tree | 50353ed423989976688fb1641c82caa41d86631a /src | |
parent | fb91984b3b0605b39fa8c2bdc7036fc074649742 (diff) |
Support `make indent` for out of source builds
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index e124836..77ddf4b 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -140,6 +140,7 @@ indent: for f in $(indentfiles);\ do\ echo indenting $$f ;\ + f='$(srcdir)'/$$f; \ $(indent) < $$f >/dev/null && indent $$f || echo $$f FAILED to indent ;\ done \ fi |