Merge branch 'dev' into rdma

wangzhengquan

2021-01-14 124011574583b980c1794a1de4e61b39f73f1f11

1
2
3
4
5
6
for file in $(find . -name "*.c")
do
    filename=${file%.c}
    echo $filename.cpp
    mv $file $filename.cpp
done