Guido Grassel / mbed-src

mbed library sources, with proposed I2C for Seed Arch BLE - not working -

Dependents:   Seeed_Barometer_Sensor_Example

Fork of mbed-src by mbed official

common/exit.c@158:3121b9889f7b, 2014-04-11 (annotated)

Committer:
mbed_official
Date:
Fri Apr 11 17:30:07 2014 +0100
Revision:
158:3121b9889f7b
Parent:
9:0ce32e54c9a7 
Synchronized with git revision efbbb2f3070ba66a206581185b033ef0343242d7



Full URL: https://github.com/mbedmicro/mbed/commit/efbbb2f3070ba66a206581185b033ef0343242d7/



Conflicts:

	libraries/mbed/targets/hal/TARGET_STM/TARGET_NUCLEO_F030R8/gpio_irq_api.c

	libraries/mbed/targets/hal/TARGET_STM/TARGET_NUCLEO_F103RB/gpio_irq_api.c

	libraries/mbed/targets/hal/TARGET_STM/TARGET_NUCLEO_L152RE/gpio_irq_api.c

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 0:fd0d7bdfcdc2 1 /* mbed Microcontroller Library
emilmont 2:143cac498751 2 * Copyright (c) 2006-2013 ARM Limited
mbed_official 0:fd0d7bdfcdc2 3 *
emilmont 2:143cac498751 4 * Licensed under the Apache License, Version 2.0 (the "License");
emilmont 2:143cac498751 5 * you may not use this file except in compliance with the License.
emilmont 2:143cac498751 6 * You may obtain a copy of the License at
mbed_official 0:fd0d7bdfcdc2 7 *
emilmont 2:143cac498751 8 * http://www.apache.org/licenses/LICENSE-2.0
mbed_official 0:fd0d7bdfcdc2 9 *
emilmont 2:143cac498751 10 * Unless required by applicable law or agreed to in writing, software
emilmont 2:143cac498751 11 * distributed under the License is distributed on an "AS IS" BASIS,
emilmont 2:143cac498751 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
emilmont 2:143cac498751 13 * See the License for the specific language governing permissions and
emilmont 2:143cac498751 14 * limitations under the License.
mbed_official 0:fd0d7bdfcdc2 15 */
mbed_official 0:fd0d7bdfcdc2 16 #include "semihost_api.h"
mbed_official 0:fd0d7bdfcdc2 17 #include "mbed_interface.h"
mbed_official 158:3121b9889f7b 18 #if DEVICE_STDIO_MESSAGES
mbed_official 158:3121b9889f7b 19 #include <stdio.h>
mbed_official 158:3121b9889f7b 20 #endif
mbed_official 0:fd0d7bdfcdc2 21
emilmont 8:4e25b8576136 22 #ifdef TOOLCHAIN_GCC_CW
emilmont 8:4e25b8576136 23 // TODO: Ideally, we would like to define directly "_ExitProcess"
emilmont 8:4e25b8576136 24 void mbed_exit(int return_code) {
emilmont 8:4e25b8576136 25 #else
mbed_official 0:fd0d7bdfcdc2 26 void exit(int return_code) {
emilmont 8:4e25b8576136 27 #endif
emilmont 8:4e25b8576136 28
mbed_official 158:3121b9889f7b 29 #if DEVICE_STDIO_MESSAGES
mbed_official 158:3121b9889f7b 30 fflush(stdout);
mbed_official 158:3121b9889f7b 31 fflush(stderr);
mbed_official 158:3121b9889f7b 32 #endif
mbed_official 158:3121b9889f7b 33
emilmont 2:143cac498751 34 #if DEVICE_SEMIHOST
mbed_official 0:fd0d7bdfcdc2 35 if (mbed_interface_connected()) {
mbed_official 0:fd0d7bdfcdc2 36 semihost_exit();
mbed_official 0:fd0d7bdfcdc2 37 }
emilmont 2:143cac498751 38 #endif
mbed_official 0:fd0d7bdfcdc2 39 if (return_code) {
mbed_official 0:fd0d7bdfcdc2 40 mbed_die();
mbed_official 0:fd0d7bdfcdc2 41 }
emilmont 2:143cac498751 42
mbed_official 0:fd0d7bdfcdc2 43 while (1);
mbed_official 0:fd0d7bdfcdc2 44 }