home *** CD-ROM | disk | FTP | other *** search
-
-
- # 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)
- }
-
-