diff options
author | Chris Dyer <cdyer@cab.ark.cs.cmu.edu> | 2012-10-02 00:19:43 -0400 |
---|---|---|
committer | Chris Dyer <cdyer@cab.ark.cs.cmu.edu> | 2012-10-02 00:19:43 -0400 |
commit | e26434979adc33bd949566ba7bf02dff64e80a3e (patch) | |
tree | d1c72495e3af6301bd28e7e66c42de0c7a944d1f /jam-files/engine/execcmd.h | |
parent | 0870d4a1f5e14cc7daf553b180d599f09f6614a2 (diff) |
cdec cleanup, remove bayesian stuff, parsing stuff
Diffstat (limited to 'jam-files/engine/execcmd.h')
-rw-r--r-- | jam-files/engine/execcmd.h | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/jam-files/engine/execcmd.h b/jam-files/engine/execcmd.h deleted file mode 100644 index 67f2b839..00000000 --- a/jam-files/engine/execcmd.h +++ /dev/null @@ -1,45 +0,0 @@ -/* - * Copyright 1993, 1995 Christopher Seiwald. - * - * This file is part of Jam - see jam.c for Copyright information. - */ - -/* - * execcmd.h - execute a shell script. - * - * Defines the interface to be implemented in platform specific implementation - * modules. - * - * 05/04/94 (seiwald) - async multiprocess interface - */ - -#ifndef EXECCMD_H -#define EXECCMD_H - -#include <time.h> - -typedef struct timing_info -{ - double system; - double user; - time_t start; - time_t end; -} timing_info; - -void exec_cmd -( - char * string, - void (* func)( void * closure, int status, timing_info *, char *, char * ), - void * closure, - LIST * shell, - char * action, - char * target -); - -int exec_wait(); - -#define EXEC_CMD_OK 0 -#define EXEC_CMD_FAIL 1 -#define EXEC_CMD_INTR 2 - -#endif |