repo.or.cz
/
barvinok.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
configure.in: allow specification of default prefix with --with-default-prefix
[barvinok.git]
/
omega
/
Exit.cc
blob
5df5fc3087e315b383b15d72468652d22177236c
1
#include <stdlib.h>
2
#include <basic/Exit.h>
3
4
List
<
exit_func
>
Exit_hooks
;
5
6
void
Exit
(
int
e
)
7
{
8
foreach
(
func
,
exit_func
,
Exit_hooks
, (*
func
)(
e
));
9
10
exit
(
e
);
11
}