diff --git a/src/userprog/Makefile b/src/userprog/Makefile new file mode 100644 index 0000000000000000000000000000000000000000..34c10aa4f508714da040e81389fa51e56ba2d97a --- /dev/null +++ b/src/userprog/Makefile @@ -0,0 +1 @@ +include ../Makefile.kernel