| OLD | NEW |
| 1 // Copyright (c) 2015, the Dartino 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 import 'dart:async'; | 5 #ifndef PLATFORMS_STM_DISCO_DARTINO_SRC_DARTINO_ENTRY_H_ |
| 6 #define PLATFORMS_STM_DISCO_DARTINO_SRC_DARTINO_ENTRY_H_ |
| 6 | 7 |
| 7 import 'dart:io' as io; | 8 void DartinoEntry(void const * argument); |
| 8 | 9 |
| 9 import 'package:fletchc/program_info.dart'; | 10 #endif // PLATFORMS_STM_DISCO_DARTINO_SRC_DARTINO_ENTRY_H_ |
| 10 | |
| 11 main(List<String> arguments) async { | |
| 12 await decodeProgramMain(arguments, io.stdin, io.stdout); | |
| 13 } | |
| 14 | |
| OLD | NEW |