dolysis
/
rocksdb
mirror of https://github.com/facebook/rocksdb.git
3
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
rocksdb/.circleci
History
Anatol Pomozov 4a83b16ce3 Use grep instead of obsolete egrep (#10701) 
Summary:
It fixes "egrep: warning: egrep is obsolescent; using grep -E" warning at the systems with newer gnu grep.

https://www.phoronix.com/news/GNU-Grep-3.8-Stop-egrep-fgrep

Pull Request resolved: https://github.com/facebook/rocksdb/pull/10701

Reviewed By: ajkr

Differential Revision: D39737908

Pulled By: cbi42

fbshipit-source-id: 13f3ccfc1a37d18541d156a6b4c2ba24f6c66589
 		2022-09-22 16:58:21 -07:00
..
config.yml Use grep instead of obsolete egrep (#10701) 2022-09-22 16:58:21 -07:00
ubsan_suppression_list.txt
…
vs2015_install.ps1 Small improvements to CircleCI Windows jobs (#7852) 2021-01-11 13:32:07 -08:00
vs2017_install.ps1 Small improvements to CircleCI Windows jobs (#7852) 2021-01-11 13:32:07 -08:00