diff options
author | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-04-30 19:46:44 -0400 |
---|---|---|
committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2016-04-30 19:46:44 -0400 |
commit | fc35ca6c9592d43b067a45c49f98cf4b5b361b87 (patch) | |
tree | 9a7d7d6eec9ea24bea317de137cc0431ff54cb8b /litmus/Makefile | |
parent | f0e07f0e5cba027377c57e1aa25101023640c62b (diff) |
PGM supportwip-mc2-new
Diffstat (limited to 'litmus/Makefile')
-rw-r--r-- | litmus/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/litmus/Makefile b/litmus/Makefile index 3d0de72284f8..c19b6015b02e 100644 --- a/litmus/Makefile +++ b/litmus/Makefile | |||
@@ -40,3 +40,4 @@ obj-y += reservation.o polling_reservations.o | |||
40 | 40 | ||
41 | obj-y += sched_pres.o | 41 | obj-y += sched_pres.o |
42 | obj-y += mc2_common.o sched_mc2.o | 42 | obj-y += mc2_common.o sched_mc2.o |
43 | obj-y += pgm.o | ||