mirror of
https://github.com/MariaDB/server.git
synced 2026-05-09 08:34:28 +02:00
use the right make in make_binary_distribution
This commit is contained in:
parent
ce91fb2f89
commit
d2cdceb2aa
2 changed files with 3 additions and 2 deletions
|
|
@ -267,8 +267,8 @@ fi
|
|||
|
||||
# NDB Cluster
|
||||
if [ x$NDBCLUSTER = x1 ]; then
|
||||
( cd ndb ; make DESTDIR=$BASE/ndb-stage install )
|
||||
( cd mysql-test/ndb ; make DESTDIR=$BASE/ndb-stage install )
|
||||
( cd ndb ; @MAKE@ DESTDIR=$BASE/ndb-stage install )
|
||||
( cd mysql-test/ndb ; @MAKE@ DESTDIR=$BASE/ndb-stage install )
|
||||
$CP $BASE/ndb-stage@bindir@/* $BASE/bin/.
|
||||
$CP $BASE/ndb-stage@libexecdir@/* $BASE/bin/.
|
||||
$CP $BASE/ndb-stage@pkglibdir@/* $BASE/lib/.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue