| changeset 35164 | 80ecc1fdfbd6 |
| parent 34510 | f3f38d88223e |
| child 37115 | f9c20e87f9ec |
| 35162:65d0237246b1 | 35164:80ecc1fdfbd6 |
|---|---|
156 echo "# INFO: skipping duplicate $o" |
156 echo "# INFO: skipping duplicate $o" |
157 continue |
157 continue |
158 fi |
158 fi |
159 Obj_Files="${Obj_Files}$o " |
159 Obj_Files="${Obj_Files}$o " |
160 done |
160 done |
161 Obj_Files=`echo ${Obj_Files} | tr ' ' '\n' | sort` |
|
161 |
162 |
162 echo Obj_Files=${Obj_Files} |
163 echo Obj_Files=${Obj_Files} |