diff options
Diffstat (limited to 'src/check-stack')
| -rwxr-xr-x | src/check-stack | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/check-stack b/src/check-stack new file mode 100755 index 00000000..82680b88 --- /dev/null +++ b/src/check-stack @@ -0,0 +1,14 @@ +#!/bin/sh +HEADER=$1 +MEM=$2 + +HEADER_STACK=`awk '/#define AO_STACK_START/ {print $3}' $HEADER | nickle` +MEM_STACK=`awk '/Stack starts at/ {print $4}' $MEM | nickle` + +if [ "$HEADER_STACK" -lt "$MEM_STACK" ]; then + MIN=0x`nickle -e "$MEM_STACK # 16"` + echo "Set AO_STACK_START to at least $MIN" + exit 1 +else + exit 0 +fi |