diff options
| -rwxr-xr-x | meta/recipes-devtools/icecc-create-env/icecc-create-env/icecc-create-env | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/meta/recipes-devtools/icecc-create-env/icecc-create-env/icecc-create-env b/meta/recipes-devtools/icecc-create-env/icecc-create-env/icecc-create-env index b88c53a424..64b5e20785 100755 --- a/meta/recipes-devtools/icecc-create-env/icecc-create-env/icecc-create-env +++ b/meta/recipes-devtools/icecc-create-env/icecc-create-env/icecc-create-env | |||
| @@ -197,6 +197,9 @@ while test -n "$1"; do | |||
| 197 | --log) | 197 | --log) |
| 198 | do_log=1 | 198 | do_log=1 |
| 199 | ;; | 199 | ;; |
| 200 | --extra=*) | ||
| 201 | extra_tools="$extra_tools ${1#--extra=}" | ||
| 202 | ;; | ||
| 200 | *) | 203 | *) |
| 201 | break | 204 | break |
| 202 | ;; | 205 | ;; |
| @@ -284,6 +287,15 @@ else | |||
| 284 | exit 1 | 287 | exit 1 |
| 285 | fi | 288 | fi |
| 286 | 289 | ||
| 290 | for extra in $extra_tools; do | ||
| 291 | if test -x "$extra"; then | ||
| 292 | add_file "$extra" | ||
| 293 | else | ||
| 294 | print_output "'$extra' not found" | ||
| 295 | exit 1 | ||
| 296 | fi | ||
| 297 | done | ||
| 298 | |||
| 287 | link_rel () | 299 | link_rel () |
| 288 | { | 300 | { |
| 289 | local target="$1" | 301 | local target="$1" |
