diff options
Diffstat (limited to 'Jamrules.jam')
| -rw-r--r-- | Jamrules.jam | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Jamrules.jam b/Jamrules.jam index 39f0daa..3575406 100644 --- a/Jamrules.jam +++ b/Jamrules.jam @@ -673,7 +673,8 @@ else exit "Unknown toolset $(toolset)!" ; } -COVSUCCESS = "echo $" "(COVPREFIX) success" ; +RUNRESULT = "success" ; +COVSUCCESS = "echo $" "(COVPREFIX) $" "(RUNRESULT)" ; if ( $(toolset:I=^mingw) || $(toolset:I=^gcc) ) { @@ -718,6 +719,8 @@ else { if ( $(toolset:I=(^xbox360|^ps3|wince|^bada$)) ) { + RUNRESULT = "skiprun" ; + actions RunAction { } |