X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/putty/blobdiff_plain/0aa741089ec49599d920f9e427924ee054323339..33f4bde27b629068d4a17ca54d67ac54fc70c10c:/cmdgen.c

diff --git a/cmdgen.c b/cmdgen.c
index 33662c3b..69c0177c 100644
--- a/cmdgen.c
+++ b/cmdgen.c
@@ -102,6 +102,16 @@ void modalfatalbox(char *p, ...)
     cleanup_exit(1);
 }
 
+void nonfatal(char *p, ...)
+{
+    va_list ap;
+    fprintf(stderr, "ERROR: ");
+    va_start(ap, p);
+    vfprintf(stderr, p, ap);
+    va_end(ap);
+    fputc('\n', stderr);
+}
+
 /*
  * Stubs to let everything else link sensibly.
  */