diff options
| -rwxr-xr-x | debian/mark_private_symbols.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/mark_private_symbols.sh b/debian/mark_private_symbols.sh index 319d45b..307d87e 100755 --- a/debian/mark_private_symbols.sh +++ b/debian/mark_private_symbols.sh @@ -42,6 +42,7 @@ then fi if [ -n "${WRITERESULTS}" ] +then # Create a backup copy of the original symbols file. for symbols_file in `ls debian/*.symbols` do @@ -59,6 +60,7 @@ grep -rh class ${PRIVATE_HEADERS} | do debug marking ${privateclass} as private if [ -n "${WRITERESULTS}" ] + then sed -i "s/\(.*${privateclass}[^ ]* *[^ ]*\)$/\1 1/" debian/*.symbol else sed -i "s/\(.*${privateclass}[^ ]* *[^ ]*\)$/\1 1/" debian/*.symbols.mps @@ -66,6 +68,7 @@ grep -rh class ${PRIVATE_HEADERS} | done if [ -n "${WRITERESULTS}" ] +then # Diff the symbols files and output it's differences. for symbols_file in `ls debian/*.symbols` do |