| 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 |