author | erikj |
Thu, 17 Mar 2016 09:53:18 +0100 | |
changeset 37132 | 008db2089808 |
parent 10565 | dc90c239f4ec |
permissions | -rw-r--r-- |
10565 | 1 |
#! /bin/sh |
2 |
# |
|
3 |
# This file is used by adlc.make to selectively update generated |
|
4 |
# adlc files. Because source and target diretories are relative |
|
5 |
# paths, this file is copied to the target build directory before |
|
6 |
# use. |
|
7 |
# |
|
8 |
# adlc-updater <file> <source-dir> <target-dir> |
|
9 |
# |
|
10 |
fix_lines() { |
|
11 |
# repair bare #line directives in $1 to refer to $2 |
|
37132
008db2089808
8151656: Minor tweaks to old Hotspot build to ease comparison with new
erikj
parents:
10565
diff
changeset
|
12 |
# and add an override of __FILE__ with just the basename on the |
008db2089808
8151656: Minor tweaks to old Hotspot build to ease comparison with new
erikj
parents:
10565
diff
changeset
|
13 |
# first line of the file. |
008db2089808
8151656: Minor tweaks to old Hotspot build to ease comparison with new
erikj
parents:
10565
diff
changeset
|
14 |
awk < $1 > $1+ -v F2=$2 ' |
008db2089808
8151656: Minor tweaks to old Hotspot build to ease comparison with new
erikj
parents:
10565
diff
changeset
|
15 |
BEGIN { print "#line 1 \"" F2 "\""; } |
10565 | 16 |
/^#line 999999$/ {print "#line " (NR+1) " \"" F2 "\""; next} |
17 |
{print} |
|
37132
008db2089808
8151656: Minor tweaks to old Hotspot build to ease comparison with new
erikj
parents:
10565
diff
changeset
|
18 |
' |
10565 | 19 |
mv $1+ $1 |
20 |
} |
|
37132
008db2089808
8151656: Minor tweaks to old Hotspot build to ease comparison with new
erikj
parents:
10565
diff
changeset
|
21 |
fix_lines $2/$1 $1 |
10565 | 22 |
[ -f $3/$1 ] && cmp -s $2/$1 $3/$1 || \ |
23 |
( [ -f $3/$1 ] && echo Updating $3/$1 ; touch $2/made-change ; mv $2/$1 $3/$1 ) |