diff options
| author | Michael Forney <mforney@mforney.org> | 2020-01-21 14:43:42 -0800 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2020-01-21 14:43:42 -0800 |
| commit | 184f709930e752d39543e4fbdfab71d948e8681b (patch) | |
| tree | 82e3781f75f37b34181b2ce5808e19ef61ce231d | |
| parent | 511b4673b7177f3e3be3b7ae6b867bdf10190b1c (diff) | |
Add sed script to prune config.h headers
| -rwxr-xr-x | scripts/prune-config.sed | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/prune-config.sed b/scripts/prune-config.sed new file mode 100755 index 00000000..e2c78d81 --- /dev/null +++ b/scripts/prune-config.sed @@ -0,0 +1,9 @@ +#n + +:next +/\\$/ { + N + b next +} + +/#/p |