Name	Size	Mode	Actions
ct_length.awk	407	0755	editdlrm
decl.awk	3044	0755	editdlrm
deps.awk	1306	0755	editdlrm
eatc.awk	492	0755	editdlrm
gdecl.awk	2791	0755	editdlrm
hcal	14046	0755	editdlrm
hical	2960	0755	editdlrm
nocomment.awk	590	0755	editdlrm
primes.awk	1058	0755	editdlrm
qsort.awk	1094	0755	editdlrm

#!/usr/bin/mawk -f # eatc.awk # another program to remove comments # { while( t = index($0 , "/*") ) { printf "%s" , substr($0,1,t-1) $0 = eat_comment( substr($0, t+2) ) } print } function eat_comment(s, t) { #replace comment by one space printf " " while ( (t = index(s, "*/")) == 0 ) if ( getline s == 0 ) { # input error -- unterminated comment system("/bin/sh -c 'echo unterminated comment' 1>&2") exit 1 } return substr(s,t+2) }