diff options
Diffstat (limited to 'Src/makepro.awk')
-rw-r--r-- | Src/makepro.awk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Src/makepro.awk b/Src/makepro.awk index 86117fcc1..3306d41d4 100644 --- a/Src/makepro.awk +++ b/Src/makepro.awk @@ -40,6 +40,13 @@ BEGIN { aborting = 1 exit 1 } + if (line == "" && $0 ~ /^[ \t]*#/) { + # Directly after the /**/ was a preprocessor line. + # Spit it out and re-start the outer loop. + printf "%s\n", $0 + locals = locals $0 "\n" + next + } gsub(/\t/, " ") line = line " " $0 gsub(/\/\*([^*]|\*+[^*\/])*\*+\//, " ", line) |