Use Linux kernel trick of giving an .lds file a .S extension to get it
[pintos-anon] / src / userprog / Makefile
1 all:
2 %:
3         $(MAKE) -C build $@