@@ -470,7 +470,13 @@ let SetDebugSwitch (tcConfigB : TcConfigBuilder) (dtype : string option) (s : Op
470470| " portable" -> tcConfigB.portablePDB<- true ; tcConfigB.embeddedPDB<- false ; tcConfigB.jitTracking<- true ; tcConfigB.ignoreSymbolStoreSequencePoints<- true
471471| " pdbonly" -> tcConfigB.portablePDB<- false ; tcConfigB.embeddedPDB<- false ; tcConfigB.jitTracking<- false
472472| " embedded" -> tcConfigB.portablePDB<- true ; tcConfigB.embeddedPDB<- true ; tcConfigB.jitTracking<- true ; tcConfigB.ignoreSymbolStoreSequencePoints<- true
473+ #if FX_ NO_ PDB_ WRITER
474+ // When building on the coreclr, full means portable
475+ | " full" -> tcConfigB.portablePDB<- true ; tcConfigB.embeddedPDB<- false ; tcConfigB.jitTracking<- true
476+ #else
473477| " full" -> tcConfigB.portablePDB<- false ; tcConfigB.embeddedPDB<- false ; tcConfigB.jitTracking<- true
478+ #endif
479+
474480| _ -> error( Error( FSComp.SR.optsUnrecognizedDebugType( s), rangeCmdArgs))
475481| None-> tcConfigB.portablePDB<- false ; tcConfigB.embeddedPDB<- false ; tcConfigB.jitTracking<- s= OptionSwitch.On;
476482 tcConfigB.debuginfo<- s= OptionSwitch.On