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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure197 as_suggested=" as_lineno_1=";as_suggested=$as_suggested$LINENO;as_suggested=$as_suggested" as_lineno_1a=\$LINENO
198 as_lineno_2=";as_suggested=$as_suggested$LINENO;as_suggested=$as_suggested" as_lineno_2a=\$LINENO
414 # as_fn_error STATUS ERROR [LINENO LOG_FD]
416 # Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
417 # provided, also output the error to LOG_FD, referencing LINENO. Then exit the
424 $as_echo "$as_me:${as_lineno-$LINENO}: error: $2" >&$4
476 as_lineno_1=$LINENO as_lineno_1a=$LINENO
[all...]
H A Dltmain.sh5311 echo \"$outputname:$output:\$LINENO: libtool wrapper (GNU $PACKAGE) $VERSION\" 1>&2
5322 \$ECHO \"$outputname:$output:\$LINENO: newargv[\$lt_dump_args_N]: \$lt_arg\"
5336 \$ECHO \"$outputname:$output:\$LINENO: newargv[0]: \$progdir\\\\\$program\" 1>&2
5346 \$ECHO \"$outputname:$output:\$LINENO: newargv[0]: \$progdir/\$program\" 1>&2

Completed in 71 milliseconds