Make sure channel-prefs.js is packaged into MAR files.

2026-05-26 14:54:25 +00:00 · 2018-12-18 14:18:49 +01:00
parent 44d2451bf7
commit 657582b56d
1 changed files with 1 additions and 2 deletions
@@ -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