-if [ "x$1" != "xc" ]; then
- echo
- echo "----------------------------------------------------------------"
- echo "Initialized build system. For a common configuration please run:"
- echo "----------------------------------------------------------------"
- echo
- echo "./configure CFLAGS='-g -O0' $args"
- echo