path: root/scripts/
diff options
authorAlexey Neyman <>2017-02-13 02:53:23 (GMT)
committerAlexey Neyman <>2017-02-14 06:47:40 (GMT)
commit7bcf18bfab84374d3305c7a088f95ac1219ddf93 (patch)
tree49c67ed5fb9729ef554c3a07a916612af5139e24 /scripts/
parentfbc69323085e2370faeb8b46291cd66cbf9ef649 (diff)
Determine whether -E/-r option selects extended regexp
... and then use the right option. See the note in scripts/functions on where we should use ${foo} and where just 'foo'; this boils down to whether we can expect the build tools override to be in effect (e.g. in the actual build scripts) or not (i.e. outside of scripts/build). While running in scripts/functions, or in scripts/ the build tools override directory (.build/tools/bin) may have not been set up (yet, or at all). Also, modify the installed scripts (populate, xldd) accordingly. Signed-off-by: Alexey Neyman <>
Diffstat (limited to 'scripts/')
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/ b/scripts/
index f3a21d2..14eb080 100755
--- a/scripts/
+++ b/scripts/
@@ -129,7 +129,7 @@ dump_single_sample() {
printf "| ''"
- printf "${sample}" |${sed} -r -e 's/.*,//'
+ printf "${sample}" |${sed_r} -e 's/.*,//'
printf "'' | ${CT_HOST} "
*) ;;