mosesdecoder/jam-files/engine/execcmd.h

48 lines
841 B
C
Raw Normal View History

2011-11-18 22:14:09 +04:00
/*
* 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
(
2012-10-22 13:20:12 +04:00
const char * string,
void (* func)( void * closure, int status, timing_info *, const char *, const char * ),
2011-11-18 22:14:09 +04:00
void * closure,
LIST * shell,
2012-10-22 13:20:12 +04:00
const char * action,
const char * target
2011-11-18 22:14:09 +04:00
);
int exec_wait();
2012-10-22 13:20:12 +04:00
void exec_done( void );
2011-11-18 22:14:09 +04:00
#define EXEC_CMD_OK 0
#define EXEC_CMD_FAIL 1
#define EXEC_CMD_INTR 2
#endif