diff options
Diffstat (limited to 'infrastructure/BoxPlatform.pm.in')
| -rw-r--r-- | infrastructure/BoxPlatform.pm.in | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/infrastructure/BoxPlatform.pm.in b/infrastructure/BoxPlatform.pm.in index 8f9daa81..325e56c3 100644 --- a/infrastructure/BoxPlatform.pm.in +++ b/infrastructure/BoxPlatform.pm.in @@ -47,16 +47,8 @@ BEGIN } elsif ($build_os eq 'SunOS') { - if ($build_os_ver <= 5.10) - { - $make_command = 'gmake'; - $bsd_make = 0; - } - else - { - $make_command = 'bmake'; - $bsd_make = 1; - } + $make_command = 'gmake'; + $bsd_make = 0; } else { @@ -127,6 +119,11 @@ BEGIN $platform_link_line_extra = '-L/sw/lib '; } } + + if ($target_windows) + { + $platform_exe_ext = '.exe'; + } } sub make_flag |