1*fb9e53ccSThomas 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 Lutomirskiint main() 14e9886aceSAndy Lutomirski { 15e9886aceSAndy Lutomirski printf("\n"); 16e9886aceSAndy Lutomirski 17e9886aceSAndy Lutomirski return 0; 18e9886aceSAndy Lutomirski } 19