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=e62a9bac24c35f4d7fdd14c1417de5b802a283d1;hb=a41252ba1e0f5dd90100aa2064c011268809c038;hpb=769cf53f52755d6b8c976edb561e3c21700447aa

diff --git a/src/org/ibex/plat/Linux.cc b/src/org/ibex/plat/Linux.cc
index e62a9ba..e96c23c 100644
--- a/src/org/ibex/plat/Linux.cc
+++ b/src/org/ibex/plat/Linux.cc
@@ -9,16 +9,14 @@ 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)) {
-        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);
-    }
-  */
+  // 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);
+  }
 }