Compile fix for GTK 3.18: avoid gtk_adjustment_changed().

[PuTTY.git] / unix / uxputty.c

diff --git a/unix/uxputty.c b/unix/uxputty.c
index 7933130fd9abc6689d14c676570a634bc49221e2..6d22fceb76b2b32b8d77489d062222d455efdc7c 100644 (file)
--- a/unix/uxputty.c
+++ b/unix/uxputty.c
@@ -20,6 +20,7 @@
  */
 const int use_pty_argv = FALSE;
 char **pty_argv;                      /* never used */
+char *pty_osx_envrestore_prefix;
 
 /*
  * Clean up and exit.
@@ -52,6 +53,7 @@ int cfgbox(Conf *conf)
 static int got_host = 0;
 
 const int use_event_log = 1, new_session = 1, saved_sessions = 1;
+const int dup_check_launchable = 1;
 
 int process_nonoption_arg(const char *arg, Conf *conf, int *allow_launch)
 {