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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 038a577)
Cleanup of user tools build process; make STATIC=0 / make STATIC=1 to build variants
authorPeter Dinda <pdinda@northwestern.edu>
Sun, 25 Mar 2012 21:10:07 +0000 (16:10 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Sun, 25 Mar 2012 21:10:07 +0000 (16:10 -0500)
commit569796250aabb415e296cb2b71afbb9cda512f69
tree789013fd672faf3da581d4a22c05aa07f687354ftree | snapshot
parent038a577ce9dbd92a18a7a475fd82cf103be378b1commit | diff
Cleanup of user tools build process;  make STATIC=0 / make STATIC=1 to build variants
linux_usr/Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project