Lines Matching refs:then

19   # If WORKSPACE is already set, then we can return right now
22   then
40   then
43     then
48         then
58   then
70   echo "then"                                    >> $OUTPUT_FILE
78   echo "then"                                                 >> $OUTPUT_FILE
80   echo "  then"                                               >> $OUTPUT_FILE
102   # If EDK_TOOLS_PATH is already set, then we can return right now
105   then
113   then
122   then
131   then
140   then
145       then
178   then
198   # If EDK_TOOLS_PATH is not set, then we cannot update PATH
201   then
218   then
241   then
250   then
256   then