Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Minor bug fix
[palacios.git] / modules / Makefile
1 # Any .o files dropped in here will be linked into the kernel.
2 # This is a primitive way to allow external builds of complex
3 # code, such as Infiniband or Linux compatability libraries.
4
5 # Get all the .o files except for built-in.o
6 object_files:=$(subst $(obj)/built-in.o,,$(wildcard $(obj)/*.vo))
7 #lib_files:=$(subst $(obj)/lib.a,,$(wildcard $(obj)/*.a))
8
9 # Strip the object file directory name
10 obj-y := $(notdir $(object_files)) null.o
11 #lib-y := $(notdir $(lib_files))
12
13 # Override the rules to build the modules that are linked in
14 # to avoid trying to build them.  The message should never
15 # be printed.
16 #$(object_files) $(lib_files): FORCE
17 $(object_files): FORCE
18         @echo >&2 "  MOD     $@"
19
20 FORCE:
21