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