mirror of
https://github.com/MariaDB/server.git
synced 2025-02-02 03:51:50 +01:00
10 lines
217 B
Bash
10 lines
217 B
Bash
#!/bin/bash
|
|
|
|
pushd $(dirname $0) &>/dev/null
|
|
scriptdir=$PWD
|
|
popd &>/dev/null
|
|
|
|
bash $scriptdir/run-nightly-release-tests.bash
|
|
bash $scriptdir/run-nightly-drd-tests.bash
|
|
bash $scriptdir/run-nightly-coverage-tests.bash
|
|
|