1 // SPDX-License-Identifier: GPL-2.0-only
2 /*
3 * Trivial program to check that we have a valid 64-bit build environment.
4 * Copyright (c) 2015 Andy Lutomirski
5 */
6
7 #ifndef __x86_64__
8 # error wrong architecture
9 #endif
10
11 #include <stdio.h>
12
13 int main()
14 {
15 printf("\n");
16
17 return 0;
18 }
19
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.