diff options
Diffstat (limited to 'pkg/ffmpeg/sources.awk')
| -rw-r--r-- | pkg/ffmpeg/sources.awk | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/pkg/ffmpeg/sources.awk b/pkg/ffmpeg/sources.awk new file mode 100644 index 00000000..1688cb5f --- /dev/null +++ b/pkg/ffmpeg/sources.awk @@ -0,0 +1,14 @@ +/^#define/ && $3 { + cfg[$2] = 1 +} + +END { + while (getline < sources) { + if (!cfg[$1]) + continue + for (i = 2; i <= NF; ++i) { + if (match($i, "^" lib "/(" arch "/)?[^/]*$")) + print substr($i, length(lib) + 2) + } + } +} |
