diff options
Diffstat (limited to 'makefiles/Makefile.tools')
-rw-r--r-- | makefiles/Makefile.tools | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/makefiles/Makefile.tools b/makefiles/Makefile.tools index d998953..f312394 100644 --- a/makefiles/Makefile.tools +++ b/makefiles/Makefile.tools @@ -276,7 +276,7 @@ GENHTML ?= genhtml BUILD_CXX ?= c++ -INSTALL ?= install +INSTALL ?= install -C LCOV ?= lcov |