Searched refs:VARYP_DMN_LIST (Results 1 – 1 of 1) sorted by relevance
2029 # The list of domains is stored in list "VARYP_DMN_LIST"2338 # The list of domains is stored in list "VARYP_DMN_LIST"2342 VARYP_DMN_LIST=""2349 VARYP_DMN_LIST="$VARYP_DMN_LIST $DMN"2353 # d_echo VARYP_DMN_LIST = "$VARYP_DMN_LIST"2354 [ $DEBUG -eq 1 ] && echo VARYP_DMN_LIST = "$VARYP_DMN_LIST"2371 for DMN in $VARYP_DMN_LIST[all...]