REPL Server: Don't establish a SIGINT handler.
[bpt/guile.git] / libguile / options.c
index ee7001a..0e08314 100644 (file)
@@ -1,4 +1,4 @@
-/* Copyright (C) 1995,1996,1998,2000,2001, 2006, 2008 Free Software Foundation
+/* Copyright (C) 1995,1996,1998,2000,2001, 2006, 2008, 2009, 2010 Free Software Foundation
  * 
  * This library is free software; you can redistribute it and/or
  * modify it under the terms of the GNU Lesser General Public License
@@ -24,7 +24,6 @@
 #include "libguile/_scm.h"
 #include "libguile/mallocs.h"
 #include "libguile/strings.h"
-#include "libguile/lang.h"
 
 #include "libguile/options.h"
 \f
@@ -149,7 +148,7 @@ get_documented_option_setting (const scm_t_option options[])
       ls = scm_cons (SCM_PACK (options[i].name), ls);
       ans = scm_cons (ls, ans);
     }
-  return ans;
+  return scm_reverse_x (ans, SCM_UNDEFINED);
 }
 
 
@@ -281,7 +280,6 @@ scm_init_opts (SCM (*func) (SCM), scm_t_option options[])
     {
       SCM name = scm_from_locale_symbol (options[i].name);
       options[i].name =        (char *) SCM_UNPACK (name);
-      scm_permanent_object (name);
     }
   func (SCM_UNDEFINED);
 }