I've run into a strange problem and I'm hoping someone else has
already found a solution for what has happened.

I've been using PB 4.2 to develop WinCE for a pxa255 platform, using
the Intel Lubbock BSP. Both the Debug and Retail builds are working. I
recently moved PB to a new PC.

What I've found is that on the new PC, the Enable Ship Build option in
the Build Options section for the Retail Build Platform Settings
doesn't appear. I've deselected everything (especially Enable KITL and
Enable Kernel Debugger). On the old PC, the Enable Ship Build checkbox
does appear.

I've done a clean Rebuild of the Retail version and it works on the
target board. Bootloader has successfully burned nk.bin into flash and
the board boots WinCE, the boot isn't halting because KITL can't
contact PB. It appears as if Enable Ship Build has been set, but I'm
not sure if there won't be some other side effect if Enable Ship Build
hasn't been selected.

Is there some other environment variable or PB option I have to set or
reset in order to cause PB to display the Enable Ship Build Option?
From what I've read, that option only appears for the Retail Build,
and it does on my old PC.

I installed PB 4.2 in the new machine and copied the cloned BSP from
the old machine to the new. Could I have upset something in PB during
that migration?

Thanks in advance.