[Sdcc-user] hex vs. ihx

[<ron...@ao...>]

Is there some way to output a .hex file instead if the .ihx that SDCC 
creates by default?
Thanks,
Ron