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.


Added auto-dependency tracking.
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 23:25:27 +0000 (18:25 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 23:25:27 +0000 (18:25 -0500)
commitd3422ccc1d15e9aa29cfd78bfe335ce82f8969c8
tree5ace5349e7179c8e7066a16cb7cc7be8f1119e9d
parent5c6233eb88fe33c60907d72e8b5d8b13d4084a9e
Added auto-dependency tracking.
Quieted build output.
Removed old targets and cleaned up some targets.
palacios/build/Makefile