blob: 132377c425a280d80d6f140c3a27a00b59e58e6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#include <iostream>
/*
Define GENERATED_HEADER macro to allow c++ files to include headers
generated based on different configuration types.
*/
/* clang-format off */
#define GENERATED_HEADER(x) GENERATED_HEADER0(CONFIG_TYPE/x)
/* clang-format on */
#define GENERATED_HEADER0(x) GENERATED_HEADER1(x)
#define GENERATED_HEADER1(x) <x>
#include GENERATED_HEADER(path_to_objs.h)
#include "embedded_objs.h"
int main(int argc, char** argv)
{
(void)argc;
(void)argv;
unsigned char* ka = kernelA;
unsigned char* kb = kernelB;
return (ka != NULL && kb != NULL) ? 0 : 1;
}
|
