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

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