Commit 88094bc8 authored by Mikaël Salson's avatar Mikaël Salson

Makefile: Use $(MAKE) instead of make

Makes it more robust to changes in make utility
parent 73618a9f
......@@ -79,12 +79,12 @@ $(ALIGN_CGI): cgi/align.o $(LIBCORE)
$(SIMILARITY_CGI): cgi/similarity.o $(LIBCORE)
mkdir -p $(CGIDIR)
make -C core OPTIM="$(OPTIM)"
$(MAKE) -C core OPTIM="$(OPTIM)"
$(CXX) -o $@ $^ $(LDFLAGS) $(LDLIBS) $(CXXFLAGS)
$(SIMILARITY_TOOL): cgi/similarity.o $(LIBCORE)
mkdir -p $(TOOLDIR)
make -C core OPTIM="$(OPTIM)"
$(MAKE) -C core OPTIM="$(OPTIM)"
$(CXX) -o $@ $^ $(LDFLAGS) $(LDLIBS) $(CXXFLAGS)
###
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment