pruner mostly working

[org.ibex.core.git] / src / org / ibex / plat / Linux.cc

diff --git a/src/org/ibex/plat/Linux.cc b/src/org/ibex/plat/Linux.cc
index 9a9e324..e62a9ba 100644 (file)
--- a/src/org/ibex/plat/Linux.cc
+++ b/src/org/ibex/plat/Linux.cc
@@ -8,6 +8,8 @@ extern const char **_Jv_argv;
 extern int _Jv_argc;
 
 void org::ibex::plat::Linux::fixEnvironment() {
+  // this wreaks havoc on gdb
+  /*
     // see http://lists.debian.org/debian-glibc/2003/debian-glibc-200311/msg00647.html
     const char* ld_assume_kernel = getenv("LD_ASSUME_KERNEL");
     if (ld_assume_kernel == NULL || strcmp("2.4.1", ld_assume_kernel)) {
@@ -18,4 +20,5 @@ void org::ibex::plat::Linux::fixEnvironment() {
         printf("execvp() failed with error code %d\n", result);
        exit(-1);
     }
+  */
 }