Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (18 sloc) 635 Bytes
/* -----------------------------------------------------------------------------
*
* (c) The AQUA Project, Glasgow University, 1994-1997
* (c) The GHC Team, 1998-2006
*
* Functions for parsing the argument list.
*
* ---------------------------------------------------------------------------*/
#ifndef RTSFLAGS_H
#define RTSFLAGS_H
#include "BeginPrivate.h"
/* Routines that operate-on/to-do-with RTS flags: */
void initRtsFlagsDefaults (void);
void setupRtsFlags (int *argc, char *argv[]);
void setProgName (char *argv[]);
void freeRtsArgs (void);
#include "EndPrivate.h"
#endif /* RTSFLAGS_H */
Jump to Line
Something went wrong with that request. Please try again.