Hola:
Si el botón es del mismo formulario que el select, puedes simplificar algo...
Pero de todos modos, prueba así:
Código:
with(document.getElementById('machine')) {
value += (text == "") ? "":";";
value += document.getElementById('mList').value
}
Saludos