Changeset 1faa87 in git for Singular/cntrlc.cc

Timestamp:

Jan 31, 2014, 11:51:25 AM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

d021048c79ec6a02b776cc966cc3f4cffc40d238

Parents:

9c5117f891a4a197cf38a21f0db5e0d7b0afea36

Message:

fix: name of debug executable

File:

• Singular/cntrlc.cc (modified) (1 diff)

Singular/cntrlc.cc

@@ -426 +426 @@
   int pid;
   char buf[16];
-  char * args[4] = { (char*)"gdb", (char*)"Singularg", NULL, NULL };
+  char * args[4] = { (char*)"gdb", (char*)"Singular", NULL, NULL };
 
   #ifdef HAVE_FEREAD