2021-04-23 19:10:38 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
. .github/configs $1
|
|
|
|
|
|
2022-02-23 18:16:45 +00:00
|
|
|
printf "$ "
|
|
|
|
|
|
|
|
|
|
if [ "x$CC" != "x" ]; then
|
|
|
|
|
printf "CC='$CC' "
|
|
|
|
|
fi
|
|
|
|
|
if [ "x$CFLAGS" != "x" ]; then
|
|
|
|
|
printf "CFLAGS='$CFLAGS' "
|
|
|
|
|
fi
|
|
|
|
|
if [ "x$CPPFLAGS" != "x" ]; then
|
|
|
|
|
printf "CPPFLAGS='$CPPFLAGS' "
|
|
|
|
|
fi
|
|
|
|
|
if [ "x$LDFLAGS" != "x" ]; then
|
|
|
|
|
printf "LDFLAGS='$LDFLAGS' "
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
echo ./configure ${CONFIGFLAGS}
|
2022-10-04 15:10:40 +00:00
|
|
|
./configure ${CONFIGFLAGS} 2>&1
|
