Searched full:gawk (Results 1 – 11 of 11) sorted by relevance
13 command -v gawk >/dev/null 2>&1 || die "gawk isn't installed"25 ${OBJDUMP} -wdr $OBJ | gawk -M -v _funcs="${FUNCS[*]}" '
1 #!/usr/bin/env -S gawk -f
148 cmd_modules_builtin_ranges = gawk -f $(real-prereqs) > $@
1 #!/usr/bin/gawk -f
56 kstarttime=`gawk 'BEGIN { print systime() }' < /dev/null`87 kstarttime=`gawk 'BEGIN { print systime() }' < /dev/null`95 kruntime=`gawk 'BEGIN { print systime() - '"$kstarttime"' }' < /dev/null`143 kruntime=`gawk 'BEGIN { print systime() - '"$kstarttime"' }' < /dev/null`
28 starttime=`gawk 'BEGIN { print systime(); }' < /dev/null`61 t=`gawk -v s=$starttime 'BEGIN { print systime() - s; }' < /dev/null`
320 | gawk '{print $2}' \330 | gawk '{print $2}' \692 gawk '/\.o: changed function: / {727 | gawk '/^< DEBUG: / {
160 now=$(phc_ctl /dev/ptp1 get | gawk '/clock time is/ { print $5; }')162 sec=$(echo "${now}" | gawk -F. '{ print $1; }')
33 print "Please try to use gawk." > "/dev/stderr"