chiark / gitweb /
dump-runlisp-image.c (notice_filename): Log a message if verbosity permits.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 4 Mar 2024 16:07:45 +0000 (16:07 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 4 Mar 2024 16:07:45 +0000 (16:07 +0000)
commit75a6ea6025a65db5c444ce18ad0b68511d603de6
tree2515451f7c3491777240587c3c18b4d742cc3a27
parentcf51f4b4b4e376229851b142411b81f7b0fd8877
dump-runlisp-image.c (notice_filename): Log a message if verbosity permits.
dump-runlisp-image.c