diff --git a/dump.py b/dump.py
index 11ec3008f7d19a1516f40e92e7581777ecb55303..a999c7104f88e28cb9449dd767395410d3b327e4 100644
--- a/dump.py
+++ b/dump.py
@@ -20,8 +20,8 @@ def exec_command_into_file(command: list[str], file: Optional[str], env: dict[st
         with open(file, 'w') as f:
             f.write(stdout.decode('utf-8'))
     if len(err.decode('utf-8')) > 0:
+        print(f'Warning: Captured non-empty STDERR while executing {command}')
         print(err.decode('utf-8'), file=sys.stderr)
-        sys.exit(1)
 
 def dump_data(main_version, obj, f_name, sort_key='name'):
 	d = None