X-Git-Url: http://git.megacz.com/?p=org.ibex.core.git;a=blobdiff_plain;f=src%2Forg%2Fibex%2Fplat%2FLinux.cc;h=e96c23c40041ddde9630ef0f2b1e8a3ebf3a8267;hp=9a9e324af7cb17105804112f0b1e31f7d7da664b;hb=a41252ba1e0f5dd90100aa2064c011268809c038;hpb=3591b88b94a6bb378af3d4abe6eb5233ce583104

diff --git a/src/org/ibex/plat/Linux.cc b/src/org/ibex/plat/Linux.cc
index 9a9e324..e96c23c 100644
--- a/src/org/ibex/plat/Linux.cc
+++ b/src/org/ibex/plat/Linux.cc
@@ -8,14 +8,15 @@ extern const char **_Jv_argv;
 extern int _Jv_argc;
 
 void org::ibex::plat::Linux::fixEnvironment() {
-    // 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)) {
-        int result;
-        printf("respawning self (%s) with LD_ASSUME_KERNEL=2.4.1\n", _Jv_argv[0]);
-        setenv("LD_ASSUME_KERNEL", "2.4.1", 1);
-        result = execvp(_Jv_argv[0], (char* const*)((void*)_Jv_argv));
-        printf("execvp() failed with error code %d\n", result);
-	exit(-1);
-    }
+  // 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)) {
+    int result;
+    printf("respawning self (%s) with LD_ASSUME_KERNEL=2.4.1\n", _Jv_argv[0]);
+    setenv("LD_ASSUME_KERNEL", "2.4.1", 1);
+    result = execvp(_Jv_argv[0], (char* const*)((void*)_Jv_argv));
+    printf("execvp() failed with error code %d\n", result);
+    exit(-1);
+  }
 }