1da177e4c3
Initial git repository build. I'm not bothering with the full history, even though we have it. We can create a separate "historical" git archive of that later if we want to, and in the meantime it's about 3.2GB when imported into git - space that would just make the early git days unnecessarily complicated, when we don't have a lot of good infrastructure for it. Let it rip!
15 lines
277 B
Bash
Executable file
15 lines
277 B
Bash
Executable file
#!/bin/sh
|
|
dir=$(dirname $0)
|
|
CC=$1
|
|
OBJDUMP=$2
|
|
tmp=${TMPDIR:-/tmp}
|
|
out=$tmp/out$$.o
|
|
$CC -c $dir/check-gas-asm.S -o $out
|
|
res=$($OBJDUMP -r --section .data $out | fgrep 00004 | tr -s ' ' |cut -f3 -d' ')
|
|
rm -f $out
|
|
if [ $res != ".text" ]; then
|
|
echo buggy
|
|
else
|
|
echo good
|
|
fi
|
|
exit 0
|