diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-06-10 14:17:31 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-06-10 14:18:20 +0200 |
commit | d6ee67020c9c654b5b4f21ab2a0400a05220587c (patch) | |
tree | 260439389395ce040bc530bb74a323e6481975c5 /rules/mariadb.make | |
parent | a5b185a532913148e41e057cf04ac9f73cd93cb6 (diff) | |
download | ptxdist-d6ee67020c9c654b5b4f21ab2a0400a05220587c.tar.gz ptxdist-d6ee67020c9c654b5b4f21ab2a0400a05220587c.tar.xz |
mariadb: make sure dtrace is disabled
It is incorrectly detected as available on a CentOS 7 built host.
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'rules/mariadb.make')
-rw-r--r-- | rules/mariadb.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rules/mariadb.make b/rules/mariadb.make index c235be3bb..4f17d5b79 100644 --- a/rules/mariadb.make +++ b/rules/mariadb.make @@ -102,6 +102,7 @@ MARIADB_CONF_OPT := \ -DDISABLE_SHARED=OFF \ -DENABLED_LOCAL_INFILE=OFF \ -DENABLED_PROFILING=OFF \ + -DENABLE_DTRACE=OFF \ -DENABLE_GCOV=OFF \ -DFEATURE_SET=community \ -DINSTALL_LAYOUT=STANDALONE \ |