# YES, THIS NEEDS BASH, NOT /bin/sh (e.g. for <<<).
# Copyright (2013) Jann Horn <jann@thejh.net>
# YES, THIS NEEDS BASH, NOT /bin/sh (e.g. for <<<).
# Copyright (2013) Jann Horn <jann@thejh.net>
# -f for files with weird names
# -u for coding mistakes (or against, to be precise)
# -f for files with weird names
# -u for coding mistakes (or against, to be precise)
sed 's|^PUBLIC_FN \(.*\){|KEEPLINE \1;|g' |
sed 's|^PUBLIC_CONST |KEEPLINE #define |g' |
sed 's|^HEADER |KEEPLINE |g' |
sed 's|^PUBLIC_FN \(.*\){|KEEPLINE \1;|g' |
sed 's|^PUBLIC_CONST |KEEPLINE #define |g' |
sed 's|^HEADER |KEEPLINE |g' |