Branch: Tag:

2005-11-23

2005-11-23 01:10:58 by Martin Nilsson <mani@lysator.liu.se>

Removed noreturn attribute from pike_do_exit, as it yields insignificant optimization and causes compiler problems.

Rev: src/main.h:1.27

2:   || This file is part of Pike. For copyright information see COPYRIGHT.   || Pike is distributed under GPL, LGPL and MPL. See the file COPYING   || for more information. - || $Id: main.h,v 1.26 2005/01/01 17:35:54 grubba Exp $ + || $Id: main.h,v 1.27 2005/11/23 01:10:58 nilsson Exp $   */      #ifndef MAIN_H
10:      /* Prototypes begin here */   int main(int argc, char **argv); - DECLSPEC(noreturn) void pike_do_exit(int num) ATTRIBUTE((noreturn)); + void pike_do_exit(int num);   /* Prototypes end here */      #endif /* !MAIN_H */