summaryrefslogtreecommitdiff
path: root/contrib/new-theory.awk
blob: 1adbb2f24e1ed69457d53063c55e6dbb0a8bbafd (plain) 
1
2
3
4
5
6
7

#!/bin/awk -v name=theory_new -f
#

# Keep non-matching lines unchanged
!/^OPTIONS_CONFIG_FILES = \\/ {print$0}
# Add *_options.toml to OPTIONS_CONFIG_FILES
/^OPTIONS_CONFIG_FILES = \\/{print $0; printf "\t%s_options.toml \\\n", name;}
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback