1#!/bin/sh
2
3. .github/configs $1
4
5printf "$ "
6
7if [ "x$CC" != "x" ]; then
8	printf "CC='$CC' "
9fi
10if [ "x$CFLAGS" != "x" ]; then
11	printf "CFLAGS='$CFLAGS' "
12fi
13if [ "x$CPPFLAGS" != "x" ]; then
14	printf "CPPFLAGS='$CPPFLAGS' "
15fi
16if [ "x$LDFLAGS" != "x" ]; then
17	printf "LDFLAGS='$LDFLAGS' "
18fi
19
20echo ./configure ${CONFIGFLAGS}
21./configure ${CONFIGFLAGS} 2>&1
22