MyRocks: Bare Windows compatibility: use rmdir built-in, not "rm -rf"

This commit is contained in:
Sergei Petrunia 2020-11-17 15:49:36 +03:00
commit ceef26cf86

View file

@ -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;