makeobjops.awk: Fix comment, it's actually doxygen comments we skip here.
authorSascha Wildner <saw@online.de>
Sun, 1 Jul 2012 12:03:55 +0000 (14:03 +0200)
committerSascha Wildner <saw@online.de>
Sun, 1 Jul 2012 12:03:55 +0000 (14:03 +0200)
sys/tools/makeobjops.awk

index 49d62d0..b26403f 100644 (file)
@@ -442,7 +442,7 @@ for (file_i = 0; file_i < num_files; file_i++) {
 
                if (/^$/) {             # skip empty lines
                }
-               else if (/^\/\*\*/)     # ... and C style comments
+               else if (/^\/\*\*/)     # ... and doxygen comments
                        while (!/\*\//) {
                                getline < src;
                                lineno++;