/*
 * Dummy file include/linux/version.h that gets replaced when the
 * kernel is configured for the first time.
 */

#error "The kernel sources in /usr/src/linux are not yet configured."
#error "Please run 'make cloneconfig && make dep' in /usr/src/linux/"
#error "to get a kernel that is configured like the running kernel."
#error "Alternatively, you can copy one of the config files"
#error "arch/$ARCH/defconfig.* to .config, and run"
#error "'make oldconfig && make dep' to configure the kernel"
#error "for that configuration."
