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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in148 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
167 am__uniquify_input = $(AWK) '\
194 AWK = @AWK@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in147 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
177 AWK = @AWK@
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in119 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
190 am__uniquify_input = $(AWK) '\
216 AWK = @AWK@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in125 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
278 am__uniquify_input = $(AWK) '\
330 AWK = @AWK@
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in143 am__uniquify_input = $(AWK) '\
195 AWK = @AWK@
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in135 AWK = @AWK@
/seL4-l4v-10.1.1/HOL4/polyml/
H A DMakefile.in156 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
236 am__uniquify_input = $(AWK) '\
306 AWK = @AWK@
552 $(AWK) 'BEGIN { files["."] = ""; dirs["."] = 1 } \
606 $(AWK) 'BEGIN { files["."] = ""; dirs["."] = 1; } \
H A Dconfigure758 AWK
3319 if test -n "$AWK"; then
3320 ac_cv_prog_AWK="$AWK" # Let the user override the test.
3339 AWK=$ac_cv_prog_AWK
3340 if test -n "$AWK"; then
3341 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $AWK" >&5
3342 $as_echo "$AWK" >&6; }
3349 test -n "$AWK" && break
6894 lt_cv_sys_global_symbol_pipe="$AWK '"\
11573 # AWK progra
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in150 AWK = @AWK@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure800 AWK
3334 if test -n "$AWK"; then
3335 ac_cv_prog_AWK="$AWK" # Let the user override the test.
3354 AWK=$ac_cv_prog_AWK
3355 if test -n "$AWK"; then
3356 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $AWK" >&5
3357 $as_echo "$AWK" >&6; }
3364 test -n "$AWK" && break
7194 lt_cv_sys_global_symbol_pipe="$AWK '"\
11586 # AWK progra
[all...]
H A DMakefile.in176 $(AWK) 'BEGIN { files["."] = "" } { files[$$2] = files[$$2] " " $$1; \
374 am__uniquify_input = $(AWK) '\
447 AWK = @AWK@

Completed in 170 milliseconds