diff options
Diffstat (limited to 'src/check-stack')
| -rwxr-xr-x | src/check-stack | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/check-stack b/src/check-stack deleted file mode 100755 index 82680b88..00000000 --- a/src/check-stack +++ /dev/null @@ -1,14 +0,0 @@ -#!/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 |