# 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)
# flags for the build - adjust for your needs
# delete all the generated stuff afterwards (with `rm -r gen`)
CC='gcc'
# flags for the build - adjust for your needs
# delete all the generated stuff afterwards (with `rm -r gen`)
CC='gcc'
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' |