44
32
dup2(p1[1],1); close(p1[1]); close(p1[0]);
45
33
dup2(p2[0],0); close(p2[0]); close(p2[1]);
46
- execlp("AXIOMsys","AXIOMsys","-noclef",0);
34
- execlp("AXIOMsys","AXIOMsys","-noclef",NULL);
47
35
- fatal("exec AXIOMsys");
48
36
+ execlp("/usr/bin/axiom","/usr/bin/axiom","-noclef","-noht","-nogr",0);
49
37
+ fatal("exec /usr/bin/axiom");