OLD | NEW |
1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
4 | 4 |
5 #if defined(FLETCH_TARGET_OS_LINUX) | 5 #if defined(FLETCH_TARGET_OS_LINUX) |
6 | 6 |
7 #include <string.h> | 7 #include <string.h> |
8 #include <unistd.h> | 8 #include <unistd.h> |
9 #include <sys/signalfd.h> | 9 #include <sys/signalfd.h> |
10 #include <sys/types.h> | 10 #include <sys/types.h> |
11 #include <sys/wait.h> | 11 #include <sys/wait.h> |
(...skipping 87 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
99 raise(-exit_code); | 99 raise(-exit_code); |
100 } else { | 100 } else { |
101 exit(exit_code); | 101 exit(exit_code); |
102 } | 102 } |
103 UNREACHABLE(); | 103 UNREACHABLE(); |
104 } | 104 } |
105 | 105 |
106 } // namespace fletch | 106 } // namespace fletch |
107 | 107 |
108 #endif // defined(FLETCH_TARGET_OS_LINUX) | 108 #endif // defined(FLETCH_TARGET_OS_LINUX) |
OLD | NEW |