| blob | 2b08cc1ba16d5142a5a2eff2e0d480fe187a01c6 |
1 #============================================================================
2 # Rule for setting options at targets
3 #============================================================================
5 #----------------------------------------------------------------------------
6 # private rule - please specify the options in Application, Plugin or Library
7 # rule and don't use this rule here directly.
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 }