equal
deleted
inserted
replaced
7 # |
7 # |
8 # adlc-updater <file> <source-dir> <target-dir> |
8 # adlc-updater <file> <source-dir> <target-dir> |
9 # |
9 # |
10 fix_lines() { |
10 fix_lines() { |
11 # repair bare #line directives in $1 to refer to $2 |
11 # repair bare #line directives in $1 to refer to $2 |
12 awk < $1 > $1+ ' |
12 # and add an override of __FILE__ with just the basename on the |
|
13 # first line of the file. |
|
14 nawk < $1 > $1+ -v F2=$2 ' |
|
15 BEGIN { print "#line 1 \"" F2 "\""; } |
13 /^#line 999999$/ {print "#line " (NR+1) " \"" F2 "\""; next} |
16 /^#line 999999$/ {print "#line " (NR+1) " \"" F2 "\""; next} |
14 {print} |
17 {print} |
15 ' F2=$2 |
18 ' |
16 mv $1+ $1 |
19 mv $1+ $1 |
17 } |
20 } |
18 fix_lines $2/$1 $3/$1 |
21 fix_lines $2/$1 $1 |
19 [ -f $3/$1 ] && cmp -s $2/$1 $3/$1 || \ |
22 [ -f $3/$1 ] && cmp -s $2/$1 $3/$1 || \ |
20 ( [ -f $3/$1 ] && echo Updating $3/$1 ; touch $2/made-change ; mv $2/$1 $3/$1 ) |
23 ( [ -f $3/$1 ] && echo Updating $3/$1 ; touch $2/made-change ; mv $2/$1 $3/$1 ) |