diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/update-packaging/common.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/update-packaging/common.sh b/tools/update-packaging/common.sh index eb358806f..ec9478035 100755 --- a/tools/update-packaging/common.sh +++ b/tools/update-packaging/common.sh @@ -76,8 +76,7 @@ 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 + if [ `basename $add_if_not_file_chk` = "update-settings.ini" ]; then ## "true" *giggle* return 0; fi |