1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
#!/bin/bash
for hdr in \
assert \
ctype \
errno \
fenv \
float \
inttypes \
iso646 \
limits \
locale \
math \
setjmp \
signal \
stdarg \
stdbool \
stddef \
stdint \
stdio \
stdlib \
string \
tgmath \
time \
uchar \
wchar \
wctype \
; do
newstring="<c${hdr}>"
oldstring="<${hdr}.h>"
echo "sed -i '' -e \"s/${oldstring}/${newstring}/g\""
git grep -l "${oldstring}" | \
fgrep -v ThirdParty | \
xargs sed -i '' -e "s/${oldstring}/${newstring}/g"
done
|
