#!/bin/bash

cmd="arm-linux-gcc -Os"

for opt; do
	[[ "$opt" == "-g"* ]] && continue
	[[ "$opt" == "-O"* ]] && continue
	cmd="$cmd $opt"
done

echo "+$cmd" >&2
exec $cmd