config=${1:-ecos-gen.ecc} ecosconfig --config=$config new sparc_leon default cat >> $config <<'EOF' EOF ecosconfig --config=$config check