Don't try to allocate file that's too big in filehdr_allocate.
[pintos-anon] / src / filesys / Makefile
1 all:
2 %:
3         $(MAKE) -C build $@