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

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