diff options
author | Geert Janssens <geert@kobaltwit.be> | 2018-04-18 11:52:54 +0200 |
---|---|---|
committer | Geert Janssens <geert@kobaltwit.be> | 2018-04-20 08:36:49 +0200 |
commit | a95ceabb70e9a28686440f0cc0dcb64eae281356 (patch) | |
tree | e567b1f5b77fe0c9b44c56356bc953970dba62b9 | |
parent | d1f7054b7e620deaf33e8f75eac73389a60141d9 (diff) | |
download | swig-a95ceabb70e9a28686440f0cc0dcb64eae281356.tar.gz |
guile - drop GDB_INTERFACE related stuff
Guile itself has removed it a long time ago:
http://git.savannah.gnu.org/gitweb/?p=guile.git;a=commit;h=8510e39278161d3cbf8ec4ba87b123fe28763ed4
There's no need for it. I suspect it's just there because the
interface file was created based on the then real main source file of guile.
-rw-r--r-- | Lib/guile/guilemain.i | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Lib/guile/guilemain.i b/Lib/guile/guilemain.i index 925b81fee..809154e99 100644 --- a/Lib/guile/guilemain.i +++ b/Lib/guile/guilemain.i @@ -12,11 +12,6 @@ extern "C" { #endif -/* Debugger interface (don't change the order of the following lines) */ -#define GDB_TYPE SCM -#include <libguile/gdb_interface.h> -GDB_INTERFACE; - static void inner_main(void *closure, int argc, char **argv) { |