Revision 69964ea4c7b68c9399f7977aa5b9aa6539a6a98a authored by Linus Torvalds on 29 April 2012, 22:19:10 UTC, committed by Linus Torvalds on 29 April 2012, 22:19:10 UTC
1 parent 6cfdd02
unroll.awk
# This filter requires one command line option of form -vN=n
# where n must be a decimal number.
#
# Repeat each input line containing $$ n times, replacing $$ with 0...n-1.
# Replace each $# with n, and each $* with a single $.
BEGIN {
n = N + 0
}
{
if (/\$\$/) { rep = n } else { rep = 1 }
for (i = 0; i < rep; ++i) {
tmp = $0
gsub(/\$\$/, i, tmp)
gsub(/\$\#/, n, tmp)
gsub(/\$\*/, "$", tmp)
print tmp
}
}
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...