options.jam

来自「经典开源游戏glest的源代码」· JAM 代码 · 共 22 行

#============================================================================
# Rule for setting options at targets
#============================================================================

#----------------------------------------------------------------------------
# private rule - please specify the options in Application, Plugin or Library
# rule and don't use this rule here directly.

##  CheckOptions candidates : Options : target
rule CheckOptions
{
  local i ;
  for i in $(>)
  {
    if ! [ IsElem $(i) : $(<) ]
    {
      echo "WARNING: Unknown option $(i) specified at $(3)." ;
    }
  }
}