From 238ca17f6dc353933172ba775dccd9d50b1b817c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20Canna=C3=B2?= Date: Tue, 8 Aug 2017 21:09:07 +0200 Subject: [PATCH] Merging PR #931 and #1035 --- Makefile | 2 +- doc/admin_tables.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index af8f03626..847fd8ba1 100644 --- a/Makefile +++ b/Makefile @@ -10,7 +10,7 @@ DEBUG=${ALL_DEBUG} #export DEBUG #export OPTZ #export EXTRALINK -CURVER=1.4.2 +CURVER?=1.4.2 MAKEOPT="-j 4" DISTRO := $(shell gawk -F= '/^NAME/{print $$2}' /etc/os-release) ifeq ($(wildcard /usr/lib/systemd/system), /usr/lib/systemd/system) diff --git a/doc/admin_tables.md b/doc/admin_tables.md index 252a5a2be..ea4bb8137 100644 --- a/doc/admin_tables.md +++ b/doc/admin_tables.md @@ -453,7 +453,7 @@ The `stats_mysql_query_digest_reset` table is identical in content and structure ## stats_mysql_global -Here is the statement used to create the `stats_mysql_query_global` table: +Here is the statement used to create the `stats_mysql_global` table: ```sql CREATE TABLE stats_mysql_global (