Searched refs:AWK (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in127 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
296 am__uniquify_input = $(AWK) '\
323 AWK = @AWK@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in119 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
191 am__uniquify_input = $(AWK) '\
217 AWK = @AWK@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in143 am__uniquify_input = $(AWK) '\
195 AWK = @AWK@
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in135 AWK = @AWK@
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in157 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
238 am__uniquify_input = $(AWK) '\
308 AWK = @AWK@
556 $(AWK) 'BEGIN { files["."] = ""; dirs["."] = 1 } \
610 $(AWK) 'BEGIN { files["."] = ""; dirs["."] = 1; } \
H A Dconfigure753 AWK
3310 if test -n "$AWK"; then
3311 ac_cv_prog_AWK="$AWK" # Let the user override the test.
3330 AWK=$ac_cv_prog_AWK
3331 if test -n "$AWK"; then
3332 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $AWK" >&5
3333 $as_echo "$AWK" >&6; }
3340 test -n "$AWK" && break
7027 lt_cv_sys_global_symbol_pipe="$AWK '"\
11439 # AWK progra
[all...]

Completed in 137 milliseconds