Si no son muchos campos en el select...puedes hacerlo asi:
Código PHP:
Ver original<select name="campus" id="campus" tabindex="5">
<option value="Granada"<?php if($campus==Granada) { echo "selected"; }?>>Granada</option>
<option value="Ceuta"<?php if($campus==Ceuta) { echo "selected"; }?>>Ceuta</option>
<option value="Melilla"<?php if($campus==Melilla) { echo "selected"; }?>>Melilla</option>
</select>