--- tools/openmp/runtime/tools/lib/Platform.pm.orig 2015-01-19 18:29:35 UTC +++ tools/openmp/runtime/tools/lib/Platform.pm @@ -220,6 +220,9 @@ sub target_options() { if ( 0 ) { } elsif ( $operating_system eq "GNU/Linux" ) { $_host_os = "lin"; + } elsif ( $operating_system eq "BSDSUniX" ) { + # Host OS resembles Linux. + $_host_os = "lin"; } elsif ( $operating_system eq "FreeBSD" ) { # Host OS resembles Linux. $_host_os = "lin";