+#ifdef __APPLE__
+static const bool apple = true;
+#else
+static const bool apple = false;
+#endif
+
+/* Searches ARGV for the -psn_xxxx option that the desktop application
+ launcher passes in, and removes it if it finds it. Returns the new value
+ of ARGC. */
+static inline int
+remove_psn (int argc, char **argv)
+{
+ if (apple)
+ {
+ int i;
+
+ for (i = 0; i < argc; i++)
+ {
+ if (!strncmp (argv[i], "-psn", 4))
+ {
+ remove_element (argv, argc + 1, sizeof *argv, i);
+ return argc - 1;
+ }
+ }
+ }
+ return argc;
+}
+