From a2f9ce3f23da3c8ddd8c11d0e84852d7d009711e Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 18 Nov 2016 11:09:18 -0800 Subject: [PATCH] [make] install the report script Reviewed By: akotulski Differential Revision: D4205640 fbshipit-source-id: 0491d3c --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index e89f879c9..95ca971c3 100644 --- a/Makefile +++ b/Makefile @@ -333,6 +333,8 @@ endif $(DESTDIR)$(libdir)/infer/infer/lib/python/infer.py $(INSTALL_PROGRAM) -C infer/lib/python/inferTraceBugs \ $(DESTDIR)$(libdir)/infer/infer/lib/python/inferTraceBugs + $(INSTALL_PROGRAM) -C infer/lib/python/report.py \ + $(DESTDIR)$(libdir)/infer/infer/lib/python/report.py $(INSTALL_PROGRAM) -C $(INFER_BIN) $(DESTDIR)$(libdir)/infer/infer/bin/ $(INSTALL_PROGRAM) -C $(INFERANALYZE_BIN) $(DESTDIR)$(libdir)/infer/infer/bin/ $(INSTALL_PROGRAM) -C $(INFERPRINT_BIN) $(DESTDIR)$(libdir)/infer/infer/bin/