index ff697591ceedc4f0fd95d0390182383f055cdc3e..fbb06c9fb73e00eabf9edd6e251b718ff94bc812 100644 (file)
 if DARWIN_SYSTEM
 EDITOR_CMD = "/usr/bin/open -a TextEdit %s"
+EXTRA_EXECD = -DEXTRA_EXEC_MIME_TYPE
 else
 EDITOR_CMD = "/usr/bin/xterm -e vi %s"
+EXTRA_EXECD =
 endif
 if MAKE_GUI
@@ -33,7 +35,7 @@ INCLUDES = -I$(includedir) -I$(top_srcdir) \ 
      -DLOCAL_GLADE_FILE=\""$(srcdir)/mixgtk.glade"\"\
      -DDEFAULT_EDITOR_CMD=\"$(EDITOR_CMD)\"\
      -DDEFAULT_ASM_CMD="\"$(bindir)/mixasm"\"\
-      $(GUILED)
+      $(GUILED) $(EXTRA_EXECD)
 LDADD = $(top_builddir)/mixlib/libmix.a $(top_builddir)/lib/libreplace.a\
     $(top_builddir)/mixguile/libmixguile.a $(INTLLIBS)
 
index efe7f8d91b1ee9e77573a7dfffee9e7d288f3fb5..fc733e0651c015501d35fc463c3e61182720c404 100644 (file)
   }
  gtk_file_filter_add_mime_type (filter, "application/x-executable");
+#ifdef EXTRA_EXEC_MIME_TYPE
+ gtk_file_filter_add_mime_type (filter, "application/octet-stream");
+#endif
  gtk_file_chooser_set_filter
   (GTK_FILE_CHOOSER (ext_wdg_[ext_wdg_asm_chooser]), filter);
  gtk_file_chooser_set_filter