#!/bin/sh -e

[ -e "/$(gcc -dumpmachine)/lib/libc.so" ] || {
    echo "libc.so was not where it was expected!   edit the scripts in $(pwd)."
    exit 1
}