mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2025-12-15 16:29:21 +00:00
Use basename in a more generic form
Not all versions of basename supports the suffix option. JerryScript-DCO-1.0-Signed-off-by: Zsolt Borbély zsborbely.u-szeged@partner.samsung.com
This commit is contained in:
parent
9bf1ecc677
commit
c141f766ee
@ -76,7 +76,7 @@ fi
|
||||
|
||||
for bench in $BENCHMARKS
|
||||
do
|
||||
test=`basename -s '.js' $bench`
|
||||
test=`basename $bench .js`
|
||||
|
||||
echo "$test" | awk "$PRINT_TEST_NAME_AWK_SCRIPT"
|
||||
MEM_STATS=$("$JERRY_MEM_STATS" --mem-stats --mem-stats-separate $bench | grep -e "Peak allocated =" | grep -o "[0-9]*")
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user