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 --log) do_log=1 ;; + --extra=*) + extra_tools="$extra_tools ${1#--extra=}" + ;; *) break ;; @@ -284,6 +287,15 @@ else exit 1 fi +for extra in $extra_tools; do + if test -x "$extra"; then + add_file "$extra" + else + print_output "'$extra' not found" + exit 1 + fi +done + link_rel () { local target="$1" |