diff options
Diffstat (limited to 'scan_makefile_in.awk')
| -rw-r--r-- | scan_makefile_in.awk | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/scan_makefile_in.awk b/scan_makefile_in.awk deleted file mode 100644 index 0c6d20398f..0000000000 --- a/scan_makefile_in.awk +++ /dev/null @@ -1,32 +0,0 @@ -BEGIN { - mode=0 - sources="" -} - -mode == 0 && /^LTLIBRARY_SOURCES.*\\$/ { - if (match($0, "[^=]*$")) { - sources=substr($0, RSTART, RLENGTH-1) - } - mode=1 - next -} - -mode == 0 && /^LTLIBRARY_SOURCES.*/ { - if (match($0, "[^=]*$")) { - sources=substr($0, RSTART, RLENGTH) - } -} - -mode == 1 && /.*\\$/ { - sources=sources substr($0, 0, length - 1) - next -} - -mode == 1 { - sources=sources $0 - mode=0 -} - -END { - print sources -} |