diff options
Diffstat (limited to 'TOOLS/idet.sh')
-rwxr-xr-x | TOOLS/idet.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/TOOLS/idet.sh b/TOOLS/idet.sh index 983052c822..3e57a3df33 100755 --- a/TOOLS/idet.sh +++ b/TOOLS/idet.sh @@ -30,7 +30,7 @@ testfun() judge() { - out=`testfun "$@"` + out="$(testfun "$@")" tff=${out##* TFF:}; tff=${tff%% *} bff=${out##* BFF:}; bff=${bff%% *} |