Revert "Remove bashism from `make check` (#1225)"
Revert "Remove bashism from `make check` (#1225)"

This reverts commit 08ab1d83ac01c5e36673e844f3590f8ae14a6f2b.

OverlordQ/rocksdb,SunguckLee/RocksDB,vmx/rocksdb,Andymic/rocksdb,bbiao/rocksdb,SunguckLee/RocksDB,SunguckLee/RocksDB,bbiao/rocksdb,norton/rocksdb,SunguckLee/RocksDB,wat-ze-hex/rocksdb,norton/rocksdb,tsheasha/rocksdb,vmx/rocksdb,facebook/rocksdb,Andymic/rocksdb,hobinyoon/rocksdb,bbiao/rocksdb,hobinyoon/rocksdb,norton/rocksdb,wat-ze-hex/rocksdb,norton/rocksdb,tsheasha/rocksdb,facebook/rocksdb,tsheasha/rocksdb,facebook/rocksdb,wat-ze-hex/rocksdb,wenduo/rocksdb,facebook/rocksdb,bbiao/rocksdb,tsheasha/rocksdb,wenduo/rocksdb,Andymic/rocksdb,facebook/rocksdb,bbiao/rocksdb,hobinyoon/rocksdb,wenduo/rocksdb,OverlordQ/rocksdb,bbiao/rocksdb,tsheasha/rocksdb,vmx/rocksdb,OverlordQ/rocksdb,Andymic/rocksdb,Andymic/rocksdb,Andymic/rocksdb,wenduo/rocksdb,hobinyoon/rocksdb,OverlordQ/rocksdb,wat-ze-hex/rocksdb,bbiao/rocksdb,hobinyoon/rocksdb,hobinyoon/rocksdb,wat-ze-hex/rocksdb,bbiao/rocksdb,norton/rocksdb,hobinyoon/rocksdb,wenduo/rocksdb,vmx/rocksdb,wenduo/rocksdb,OverlordQ/rocksdb,SunguckLee/RocksDB,SunguckLee/RocksDB,tsheasha/rocksdb,tsheasha/rocksdb,vmx/rocksdb,norton/rocksdb,vmx/rocksdb,hobinyoon/rocksdb,wat-ze-hex/rocksdb,norton/rocksdb,wenduo/rocksdb,OverlordQ/rocksdb,OverlordQ/rocksdb,SunguckLee/RocksDB,facebook/rocksdb,tsheasha/rocksdb,wat-ze-hex/rocksdb,wat-ze-hex/rocksdb,vmx/rocksdb,facebook/rocksdb,norton/rocksdb,facebook/rocksdb,Andymic/rocksdb,SunguckLee/RocksDB,wenduo/rocksdb,vmx/rocksdb,Andymic/rocksdb