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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure36 as_nl='
38 export as_nl
54 as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
61 *"$as_nl"*)
62 expr "X$arg" : "X\\(.*\\)$as_nl";
63 arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
65 expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
89 IFS=" "" $as_nl"
2701 *${as_nl}*)
2707 _ | IFS | as_nl) ;; #(
[all...]

Completed in 95 milliseconds