pintos-os.org Git - pintos-anon/blob - src/Makefile.kernel

   1 include Makefile.vars
   2 BUILD_SUBDIRS = $(addprefix build/, $(SUBDIRS))
   3 CP = cp
   4 MKDIR = mkdir
   5
   6 all: build build/Makefile $(BUILD_SUBDIRS)
   7         $(MAKE) -C build
   8
   9 $(BUILD_SUBDIRS):
  10         $(MKDIR) $@
  11 build:
  12         $(MKDIR) $@
  13 build/Makefile: ../Makefile.build
  14         $(CP) $< $@
  15
  16 clean:
  17         rm -rf build