diff options
Diffstat (limited to 'check-stack')
| -rwxr-xr-x | check-stack | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/check-stack b/check-stack index d93e8e44..6d3106a8 100755 --- a/check-stack +++ b/check-stack @@ -2,11 +2,11 @@ HEADER=$1 MEM=$2 -HEADER_STACK=`awk '/#define AO_STACK_START/ {print $3}' $HEADER` -MEM_STACK=`awk '/Stack starts at/ {print $4}' $MEM` +HEADER_STACK=`awk '/#define AO_STACK_START/ {print $3}' $HEADER | nickle` +MEM_STACK=`awk '/Stack starts at/ {print $4}' $MEM | nickle` -if [ "$HEADER_STACK" != "$MEM_STACK" ]; then - echo "Set AO_STACK_START to $MEM_STACK" +if [ "$HEADER_STACK" -lt "$MEM_STACK" ]; then + echo "Set AO_STACK_START to at least $MEM_STACK" exit 1 else exit 0 |