diff options
author | Sergei Petrunia <psergey@askmonty.org> | 2020-11-17 15:49:36 +0300 |
---|---|---|
committer | Sergei Petrunia <psergey@askmonty.org> | 2020-11-17 15:49:36 +0300 |
commit | ceef26cf86689f3dd1db010dc6ca1b065e32e6a4 (patch) | |
tree | 54a7c38a619c98090da73a040d40454d107d510a | |
parent | ab4f743610dd65702c9d511475a753d935649498 (diff) | |
download | mariadb-git-ceef26cf86689f3dd1db010dc6ca1b065e32e6a4.tar.gz |
MyRocks: Bare Windows compatibility: use rmdir built-in, not "rm -rf"
-rw-r--r-- | storage/rocksdb/mysql-test/rocksdb/t/checkpoint.test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/storage/rocksdb/mysql-test/rocksdb/t/checkpoint.test b/storage/rocksdb/mysql-test/rocksdb/t/checkpoint.test index e5de6246f60..68fe02bbd86 100644 --- a/storage/rocksdb/mysql-test/rocksdb/t/checkpoint.test +++ b/storage/rocksdb/mysql-test/rocksdb/t/checkpoint.test @@ -87,7 +87,7 @@ let $checkpoint = $MYSQL_TMP_DIR/already-existing-directory; --mkdir $checkpoint let $succeeds = 0; --source set_checkpoint.inc ---exec rm -rf $checkpoint +rmdir $checkpoint; --disable_result_log truncate table t1; |