X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fcommand-line.h;h=2592b79e847c6cda6bfce0b0cc5985fb8ce9e5f6;hb=8087f5ff825cae3a699e5a60ca6dd0deb10fc8e5;hp=803f43395faa9619d7af902a1862d5a3880d9c4d;hpb=e0edde6fee279cdbbf3c179f5f50adaf0c7c7f1e;p=openvswitch

diff --git a/lib/command-line.h b/lib/command-line.h
index 803f4339..2592b79e 100644
--- a/lib/command-line.h
+++ b/lib/command-line.h
@@ -34,8 +34,12 @@ char *long_options_to_short_options(const struct option *options);
 void run_command(int argc, char *argv[], const struct command[]);
 
 void proctitle_init(int argc, char **argv);
+#ifdef __FreeBSD__
+#define proctitle_set setproctitle
+#else
 void proctitle_set(const char *, ...)
     PRINTF_FORMAT(1, 2);
+#endif
 void proctitle_restore(void);
 
 #endif /* command-line.h */