Ticket #5864: mpi-windows-build2.patch
File mpi-windows-build2.patch, 717 bytes (added by , 9 years ago) |
---|
-
tools/build/v2/tools/mpi.jam
old new 231 231 # not. Returns true for an exit code of zero, false otherwise. 232 232 local rule safe-shell-command ( cmdline ) 233 233 { 234 local result = [ SHELL "$(cmdline) > /dev/null 2>/dev/null; if [ "$?" -eq "0" ]; then echo SSCOK; fi" ] ; 234 local result ; 235 236 if [ os.name ] = NT { 237 result = [ SHELL "$(cmdline) >NUL 2>NUL && echo SSCOK" ] ; 238 } else { 239 result = [ SHELL "$(cmdline) > /dev/null 2>/dev/null; if [ "$?" -eq "0" ]; then echo SSCOK; fi" ] ; 240 } 241 235 242 return [ MATCH ".*(SSCOK).*" : $(result) ] ; 236 243 } 237 244