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.


Removed spurious print
[palacios.releases.git] / scripts / basic / Makefile
1 ###
2 # Makefile.basic list the most basic programs used during the build process.
3 # The programs listed herein is what is needed to do the basic stuff,
4 # such as splitting .config and fix dependency file.
5 # This initial step is needed to avoid files to be recompiled
6 # when kernel configuration changes (which is what happens when
7 # .config is included by main Makefile.
8 # ---------------------------------------------------------------------------
9 # fixdep:        Used to generate dependency information during build process
10 # split-include: Divide all config symbols up in a number of files in
11 #                include/config/...
12 # docproc:       Used in Documentation/docbook
13
14 hostprogs-y     := fixdep split-include docproc
15 always          := $(hostprogs-y)
16
17 # fixdep is needed to compile other host programs
18 $(addprefix $(obj)/,$(filter-out fixdep,$(always))): $(obj)/fixdep