From c141f766eeb4369e4710da0041e2f3252f31be3d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zsolt=20Borb=C3=A9ly?= Date: Thu, 3 Mar 2016 00:22:24 +0100 Subject: [PATCH] Use basename in a more generic form MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- tools/run-mem-stats-test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/run-mem-stats-test.sh b/tools/run-mem-stats-test.sh index 5968ea6a9..95566168a 100755 --- a/tools/run-mem-stats-test.sh +++ b/tools/run-mem-stats-test.sh @@ -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]*")