mirror of
https://github.com/MariaDB/server.git
synced 2025-01-21 22:34:18 +01:00
10 lines
217 B
Bash
Executable file
10 lines
217 B
Bash
Executable file
#!/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
|
|
|