#include "../filenames.h" #include "defs.h" /* Call unix shell for one line */ shell() { INT pid; INT status; IF (pid=fork()) != -1 THEN IF pid THEN /* parent */ WHILE wait(&status)!=pid DONE ELSE /* child */ oldsigs(); execl(shellfile, "sh", "-t", 0); exit(1); FI FI return(pid); }