echo "


" | awk '$0!=""{ printf " -D%s", $0; }'