mk/jam/options.jam

   1 #============================================================================
   2 # Rule for setting options at targets
   3 #============================================================================
   4
   5 #----------------------------------------------------------------------------
   6 # private rule - please specify the options in Application, Plugin or Library
   7 # rule and don't use this rule here directly.
   8
   9 ##  CheckOptions candidates : Options : target
  10 rule CheckOptions
  11 {
  12   local i ;
  13   for i in $(>)
  14   {
  15     if ! [ IsElem $(i) : $(<) ]
  16     {
  17       echo "WARNING: Unknown option $(i) specified at $(3)." ;
  18     }
  19   }
  20 }
  21