diff options
author | Chris Johns <chrisj@rtems.org> | 2018-12-18 15:09:37 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2018-12-25 10:15:55 +1100 |
commit | 257c9267cfce362138a265764c6a799c12c6b181 (patch) | |
tree | e9345c4e7ad0268e1b554fcc23ce54925e3c6532 /source-builder/sb/rtems-build-dep | |
parent | sb/execute: Port the rtemstoolkit performance fixes for python3 (diff) | |
download | rtems-source-builder-257c9267cfce362138a265764c6a799c12c6b181.tar.bz2 |
gdb/python: Use python-config for the configuration if found.
- Do not assume the installed paths for the header and library.
Ask python-config if found.
Close #3537.
Diffstat (limited to 'source-builder/sb/rtems-build-dep')
-rwxr-xr-x | source-builder/sb/rtems-build-dep | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source-builder/sb/rtems-build-dep b/source-builder/sb/rtems-build-dep index 3a82753..7e406c5 100755 --- a/source-builder/sb/rtems-build-dep +++ b/source-builder/sb/rtems-build-dep @@ -72,7 +72,7 @@ do echo 'error: no header path (-I) provided' exit 2 fi - includes="$2"; shift; + includes="${includes} $2"; shift; shift;; -l) if [ $# -eq 1 ]; then |