… | |
… | |
96 | |
96 | |
97 | |
97 | |
98 | pushd ./ |
98 | pushd ./ |
99 | if [ "$FULL_LOG""x" == "1x" ]; then |
99 | if [ "$FULL_LOG""x" == "1x" ]; then |
100 | make |
100 | make |
|
|
101 | ex_code=$? |
101 | else |
102 | else |
102 | make 2>&1 | grep -i error |
103 | make > "/tmp/make_$$.log" 2>&1 ; ex_code=$? |
|
|
104 | cat "/tmp/make_$$.log" | grep -i error |
|
|
105 | rm -f "/tmp/make_$$.log" |
103 | fi |
106 | fi |
104 | popd |
107 | popd |
105 | cd navit |
108 | cd navit |
106 | |
109 | |
|
|
110 | |
|
|
111 | if [ $ex_code != 0 ]; then |
|
|
112 | echo "--BUILD ERROR--" |
|
|
113 | echo "--BUILD ERROR--" |
|
|
114 | echo "--BUILD ERROR--" |
|
|
115 | echo "--BUILD ERROR--" |
|
|
116 | echo "--BUILD ERROR--" |
|
|
117 | echo "--BUILD ERROR--" |
|
|
118 | echo "--BUILD ERROR--" |
|
|
119 | |
|
|
120 | exit $ex_code |
|
|
121 | fi |
107 | |
122 | |
108 | echo "+++++++++++++" |
123 | echo "+++++++++++++" |
109 | pwd |
124 | pwd |
110 | echo "+++++++++++++" |
125 | echo "+++++++++++++" |
111 | |
126 | |