From aff9b53920e1f74631436788f29b9664582a79e3 Mon Sep 17 00:00:00 2001 From: VyshnaviKB <848pallavi@gmail.com> Date: Tue, 11 Nov 2025 14:11:43 +0530 Subject: [PATCH] updated extract files Signed-off-by: VyshnaviKB <848pallavi@gmail.com> --- src/scripts/extractAndLaunch | 2 +- src/scripts/extractPseudoSrc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/scripts/extractAndLaunch b/src/scripts/extractAndLaunch index 3cc48228..d110e539 100755 --- a/src/scripts/extractAndLaunch +++ b/src/scripts/extractAndLaunch @@ -22,7 +22,7 @@ while read -r line; do fi if [[ $line = '/*'* ]]; then continue; fi if [[ $line = '' ]]; then continue; fi - if [[ $line =~ .*\+\S* ]]; then + if [[ $line =~ .*\+\S*$ ]]; then linetmp=$(echo "$line" | sed 's/\+\S*$//') cmd="${cmd} ${linetmp}" continue diff --git a/src/scripts/extractPseudoSrc b/src/scripts/extractPseudoSrc index 2038f33d..4873c3e6 100755 --- a/src/scripts/extractPseudoSrc +++ b/src/scripts/extractPseudoSrc @@ -11,7 +11,7 @@ while read -r line; do line=$(echo "$line" | sed 's/\r//') if [[ $line = '/*'* ]]; then continue; fi if [[ $line = '' ]]; then continue; fi - if [[ $line =~ .*\+\S* ]]; then + if [[ $line =~ .*\+\S*$ ]]; then linetmp=$(echo "$line" | sed 's/\+\S*$//') cmd="${cmd} ${linetmp}" continue