diff options
author | David Adam <zanchey@ucc.gu.uwa.edu.au> | 2016-06-13 21:33:27 +0800 |
---|---|---|
committer | David Adam <zanchey@ucc.gu.uwa.edu.au> | 2016-06-14 09:22:28 +0800 |
commit | a5e0555e834cba49bb7c423c04d739b811f38f88 (patch) | |
tree | 883767e37e5618c8e8960b2582e5653118f6abc6 | |
parent | 1499ade89cb4b186c8ab7040ac7ef86b1292c0f8 (diff) |
make style targets in Makefile phony
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 4bb0998c..4e8e90b1 100644 --- a/Makefile.in +++ b/Makefile.in @@ -841,7 +841,7 @@ style: build_tools/style.fish style-all: build_tools/style.fish --all -.PHONY: lint lint-all +.PHONY: style style-all # # Cleanup targets |