diff options
author | Joshua Watt <jpewhacker@gmail.com> | 2018-04-10 21:21:57 -0500 |
---|---|---|
committer | Richard Purdie <richard.purdie@linuxfoundation.org> | 2018-04-13 16:58:07 +0100 |
commit | 2400cbbfbc130a89fe33ac860eae03f3200767a8 (patch) | |
tree | 6fc45c840120af5812138da393dabffcfb3630ab /meta | |
parent | f8ba27d1355535dd9f8835ce8eb68b4032dfe95f (diff) | |
download | poky-2400cbbfbc130a89fe33ac860eae03f3200767a8.tar.gz |
icecc-create-env: Add extra tools option
It can often be useful to include additional debugging tools the
toolchain such as strace. Add an option to include an arbitrary path.
(From OE-Core rev: 1fc1e3d59afd292ff8f7c4e1f64324134b73b8f4)
Signed-off-by: Joshua Watt <JPEWhacker@gmail.com>
Signed-off-by: Ross Burton <ross.burton@intel.com>
Signed-off-by: Richard Purdie <richard.purdie@linuxfoundation.org>
Diffstat (limited to 'meta')
-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" |