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 }