From 4a7ed714bff4db1d019467b77c610521602dab18 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20P=C3=A9gouri=C3=A9-Gonnard?= Date: Wed, 11 Mar 2015 10:26:50 +0000 Subject: [PATCH] scripts/memory.sh only work on Linux --- scripts/memory.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/scripts/memory.sh b/scripts/memory.sh index 710ee96e0..792d27f0c 100755 --- a/scripts/memory.sh +++ b/scripts/memory.sh @@ -25,6 +25,11 @@ if grep -i cmake Makefile >/dev/null; then exit 1 fi +if [ $( uname ) != Linux ]; then + echo "Only work on Linux" >&2 + exit 1 +fi + if git status | grep -F $CONFIG_H >/dev/null 2>&1; then echo "config.h not clean" >&2 exit 1 @@ -54,7 +59,7 @@ do_config() cd programs CFLAGS=$CFLAGS_EXEC make OFLAGS=-Os ssl/$CLIENT >/dev/null strip ssl/$CLIENT - stat -f '%z' ssl/$CLIENT + stat -c '%s' ssl/$CLIENT cd .. printf " Peak ram usage... "