summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorBenjamin Pierce <bcpierce00@gmail.com>2016-05-23 13:07:23 -0400
committerBenjamin Pierce <bcpierce00@gmail.com>2016-05-23 13:07:23 -0400
commitc64b007ca0c20e1cea94a79b82d7c415aa3729eb (patch)
treebd97df3d0ba8a5398d89313967a23291c13f9f6f /src
parent63d0a582da3bf6bede43f73f80194011d4945f8c (diff)
downloadunison-c64b007ca0c20e1cea94a79b82d7c415aa3729eb.zip
unison-c64b007ca0c20e1cea94a79b82d7c415aa3729eb.tar.gz
unison-c64b007ca0c20e1cea94a79b82d7c415aa3729eb.tar.bz2
Small makefile improvement from Ian Kelling
Diffstat (limited to 'src')
-rw-r--r--src/Makefile2
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