Lines Matching refs:then
18 # If WORKSPACE is already set, then we can return right now
21 then
39 then
42 then
47 then
57 then
69 echo "then" >> $OUTPUT_FILE
77 echo "then" >> $OUTPUT_FILE
79 echo " then" >> $OUTPUT_FILE
101 # If EDK_TOOLS_PATH is already set, then we can return right now
104 then
112 then
121 then
130 then
139 then
144 then
177 then
197 # If EDK_TOOLS_PATH is not set, then we cannot update PATH
200 then
217 then
240 then
249 then
255 then