equal
deleted
inserted
replaced
30 DST=$2 |
30 DST=$2 |
31 |
31 |
32 gen() { |
32 gen() { |
33 ID=$1 |
33 ID=$1 |
34 WHAT=$2 |
34 WHAT=$2 |
35 SVUID=$3 |
35 SVUID=$3 |
36 ARG_TYPE=$4 |
36 ARG_TYPE=$4 |
37 ARG_ID=$5 |
37 ARG_ID=$5 |
38 ARG_PROP=$6 |
38 ARG_PROP=$6 |
39 ARG_PHRASE=$7 |
39 ARG_PHRASE=$7 |
40 ARG_PARAM="$ARG_TYPE$ $ARG_ID" |
40 ARG_PARAM="$ARG_TYPE$ $ARG_ID" |
41 echo '-->' $DST/$ID.java |
41 echo '-->' $DST/$ID.java |
42 out=$DST/${ID}.java |
42 out=$DST/${ID}.java |
43 |
43 |
44 $SH ${SCRIPTS}/addNotices.sh "$COPYRIGHT_YEARS" > $out |
44 $SH ${SCRIPTS}/addNotices.sh "$COPYRIGHT_YEARS" > $out |
45 |
45 |
46 cat >>$out <<__END__ |
46 cat >>$out <<__END__ |
47 |
47 |
48 // -- This file was mechanically generated: Do not edit! -- // |
48 // -- This file was mechanically generated: Do not edit! -- // |
49 |
49 |
50 package $PACKAGE; |
50 package $PACKAGE; |
51 |
51 |