[tor-commits] [torbutton/master] fixup! Bug 31747: Add onboarding.properties

[gk at torproject.org]

commit 46cf3aab51f20f638f0225ad4692792eb3b25dd4
Author: Georg Koppen <gk at torproject.org>
Date:   Thu Oct 10 14:15:42 2019 +0000

    fixup! Bug 31747: Add onboarding.properties
    
    Treat onboarding.properties specially
---
 import-translations.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/import-translations.sh b/import-translations.sh
index 9d7ad452..4e5f29c1 100755
--- a/import-translations.sh
+++ b/import-translations.sh
@@ -42,7 +42,7 @@ do
     fi
   done
 
-  if [ $IS_FILE_IN_MAP -eq 0 ];
+  if [ $IS_FILE_IN_MAP -eq 0 -a $DEST_FILE != "onboarding.properties" ];
   then
     echo "Please add $DEST_FILE to FILEMAP." 1>&2
     FILES_ARE_MISSING=1