pintos-os.org Git - pintos-anon/blob - src/tests/userprog/Makefile

   1 SRCDIR = ../..
   2
   3 # Test programs to compile, and a list of sources for each.
   4 # To add a new test, put its name on the PROGS list
   5 # and then add a name_SRC line that lists its source files.
   6 PROGS = bubsort echo halt insult lineup matmult recursor shell
   7 bubsort_SRC = bubsort.c
   8 echo_SRC = echo.c
   9 halt_SRC = halt.c
  10 insult_SRC = insult.c
  11 lineup_SRC = lineup.c
  12 matmult_SRC = matmult.c
  13 recursor_SRC = recursor.c
  14 shell_SRC = shell.c
  15
  16 include $(SRCDIR)/Makefile.userprog
  17
  18 # Uncomment the line below to round up segment sizes to full pages for
  19 # testing purposes only.
  20 #LDFLAGS += -Wl,-T,fullpage.x