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