From 184f709930e752d39543e4fbdfab71d948e8681b Mon Sep 17 00:00:00 2001 From: Michael Forney Date: Tue, 21 Jan 2020 14:43:42 -0800 Subject: Add sed script to prune config.h headers --- scripts/prune-config.sed | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 scripts/prune-config.sed (limited to 'scripts') 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 -- cgit v1.2.3