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 |