diff --git a/ide/globdir.inc b/ide/globdir.inc index a35f03d83f..fc154d3238 100644 --- a/ide/globdir.inc +++ b/ide/globdir.inc @@ -151,3 +151,7 @@ {$ifdef NOWINCLIP} {$undef WINCLIPSUPPORTED} {$endif} + +{$ifdef CROSSGDB} + {$define SUPPORT_REMOTE} +{$endif CROSSGDB}