diff --git a/src/build/project.jam b/src/build/project.jam index 53c32d027..30f4f32b3 100644 --- a/src/build/project.jam +++ b/src/build/project.jam @@ -1067,7 +1067,7 @@ module project-rules rule option ( name : value ) { - if $(__name__) != site-config && $(__name__) != user-config + if $(__name__) != site-config && $(__name__) != user-config && $(__name__) != project-config { import errors ; errors.error "The 'option' rule may be used only in site-config or user-config" ;