Pike: src/main.h Source File

00001 /*
00002 || This file is part of Pike. For copyright information see COPYRIGHT.
00003 || Pike is distributed under GPL, LGPL and MPL. See the file COPYING
00004 || for more information.
00005 || $Id: main.h,v 1.26 2005/01/01 17:35:54 grubba Exp $
00006 */
00007 
00008 #ifndef MAIN_H
00009 #define MAIN_H
00010 
00011 /* Prototypes begin here */
00012 int main(int argc, char **argv);
00013 DECLSPEC(noreturn) void pike_do_exit(int num) ATTRIBUTE((noreturn));
00014 /* Prototypes end here */
00015 
00016 #endif /* !MAIN_H */