Use system echo in makefile

This commit is contained in:
Sebastian Hugentobler 2013-04-15 15:07:24 +02:00
parent 3fb46e24ba
commit 54275d8ff8

View File

@ -36,7 +36,7 @@ $(PDFDIR):
mkdir -p $(PDFDIR) mkdir -p $(PDFDIR)
$(GITINFO): FORCE $(GITINFO): FORCE
echo "\\newcommand{\\revision}{$(REVISIONINFO)}" > $(GITINFO) /bin/echo "\\newcommand{\\revision}{$(REVISIONINFO)}" > $(GITINFO)
clean: clean:
rm -rf $(OUTDIR) rm -rf $(OUTDIR)