Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Update tools.mk

  • Loading branch information...
commit c7e6a3a0418fba270a0d6ec7f6da6d1bba6f31ac 1 parent 9fe14de
@reiddraper reiddraper authored
Showing with 5 additions and 5 deletions.
  1. +5 −5 tools.mk
View
10 tools.mk
@@ -28,11 +28,11 @@ endif
dialyzer: ${PLT} ${LOCAL_PLT}
@echo "==> $(shell basename $(shell pwd)) (dialyzer)"
-ifeq (,$(wildcard $(LOCAL_PLT)))
- dialyzer $(DIALYZER_FLAGS) --plts $(PLT) -c ebin
-else
- dialyzer $(DIALYZER_FLAGS) --plts $(PLT) $(LOCAL_PLT) -c ebin
-endif
+ @if [ -f $(LOCAL_PLT) ]; then \
+ dialyzer $(DIALYZER_FLAGS) --plts $(PLT) $(LOCAL_PLT) -c ebin; \
+ else \
+ dialyzer $(DIALYZER_FLAGS) --plts $(PLT) -c ebin; \
+ fi
cleanplt:
@echo
Please sign in to comment.
Something went wrong with that request. Please try again.