diff options
author | Benjamin Pierce <bcpierce00@gmail.com> | 2016-05-23 13:07:23 -0400 |
---|---|---|
committer | Benjamin Pierce <bcpierce00@gmail.com> | 2016-05-23 13:07:23 -0400 |
commit | c64b007ca0c20e1cea94a79b82d7c415aa3729eb (patch) | |
tree | bd97df3d0ba8a5398d89313967a23291c13f9f6f /src | |
parent | 63d0a582da3bf6bede43f73f80194011d4945f8c (diff) | |
download | unison-c64b007ca0c20e1cea94a79b82d7c415aa3729eb.zip unison-c64b007ca0c20e1cea94a79b82d7c415aa3729eb.tar.gz unison-c64b007ca0c20e1cea94a79b82d7c415aa3729eb.tar.bz2 |
Small makefile improvement from Ian Kelling
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 784ae1a..7bc09bb 100644 --- a/src/Makefile +++ b/src/Makefile @@ -338,7 +338,7 @@ testmerge: .PHONY: tags tags: - -if [ -f `which $(ETAGS)` ]; then \ + -if [ -f "`which $(ETAGS)`" ]; then \ $(ETAGS) *.mli */*.mli *.ml */*.ml */*.m *.c */*.c *.txt \ ; fi |