1fb9e53ccSThomas Gleixner // SPDX-License-Identifier: GPL-2.0-only
2e9886aceSAndy Lutomirski /*
3390db010SMartin Kelly  * Trivial program to check that we have a valid 64-bit build environment.
4e9886aceSAndy Lutomirski  * Copyright (c) 2015 Andy Lutomirski
5e9886aceSAndy Lutomirski  */
6e9886aceSAndy Lutomirski 
7e9886aceSAndy Lutomirski #ifndef __x86_64__
8e9886aceSAndy Lutomirski # error wrong architecture
9e9886aceSAndy Lutomirski #endif
10e9886aceSAndy Lutomirski 
11e9886aceSAndy Lutomirski #include <stdio.h>
12e9886aceSAndy Lutomirski 
main()13e9886aceSAndy Lutomirski int main()
14e9886aceSAndy Lutomirski {
15e9886aceSAndy Lutomirski 	printf("\n");
16e9886aceSAndy Lutomirski 
17e9886aceSAndy Lutomirski 	return 0;
18e9886aceSAndy Lutomirski }
19