links:
	cat files.txt | while read file; do ln -f -s ../kernelenv.h $$file;done
	touch madelinks

.PHONY: links

