--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/3rdparty/packages/cc/sources/line.c	Thu Jan 16 19:54:21 2003 +0000
@@ -0,0 +1,19 @@
+/* line:  list lines of file with numbers */
+
+#include <stdio.h>
+
+main(argc,argv)
+char **argv;
+{
+     char line[256];
+     register int count = 0;
+
+     if(--argc)
+          if(freopen(*++argv,"r",stdin) == NULL) {
+               fprintf(stderr,"can't open file: %s\n",*argv);
+               exit(errno);
+          }
+
+     while(gets(line))
+          printf("%5d %s\n",++count,line);
+}