diff options
Diffstat (limited to 'debian/runcheck.sh')
-rw-r--r-- | debian/runcheck.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/debian/runcheck.sh b/debian/runcheck.sh new file mode 100644 index 0000000..c7d6cfb --- /dev/null +++ b/debian/runcheck.sh @@ -0,0 +1,23 @@ +#! /bin/sh + +mkdir -p build + +abi=${CC##* } +base=build/runcheck$abi + +cat >$base.c <<EOF +#include <stdio.h> +int main() +{ + printf("$abi"); + return 0; +} +EOF + + +if ${CC:-gcc} -o $base $base.c 2>/dev/null; then + if [ "$($base 2>&1)" = "$abi" ]; then + printf "%s" $abi > $base.out + printf "%s" $abi + fi +fi |