diff options
Diffstat (limited to 'tools/update-packaging')
| -rwxr-xr-x | tools/update-packaging/common.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tools/update-packaging/common.sh b/tools/update-packaging/common.sh index 397ed21e25..e055b1c24e 100755 --- a/tools/update-packaging/common.sh +++ b/tools/update-packaging/common.sh @@ -92,12 +92,14 @@ make_add_instruction() { check_for_add_if_not_update() { add_if_not_file_chk="$1" - if [ "$(basename "$add_if_not_file_chk")" = "channel-prefs.js" -o \ - "$(basename "$add_if_not_file_chk")" = "update-settings.ini" ]; then - ## "true" *giggle* + if [[ "$(basename "$add_if_not_file_chk")" = "channel-prefs.js" || \ + "$add_if_not_file_chk" =~ (^|/)ChannelPrefs\.framework/ || \ + "$(basename "$add_if_not_file_chk")" = "update-settings.ini" || \ + "$add_if_not_file_chk" =~ (^|/)UpdateSettings\.framework/ ]]; then + ## "true" return 0; fi - ## 'false'... because this is bash. Oh yay! + ## "false" return 1; } |