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: 7246e09)
added support for turning off debugging sections
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 25 Aug 2008 22:33:46 +0000 (22:33 +0000)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 25 Aug 2008 22:33:46 +0000 (22:33 +0000)
commit02929aaeaa37abfe33c1f6d70a5ab4d7dcd92df2
treebf30bfeb83122982703ecb61abb59af2992f1503tree | snapshot
parent7246e098eaeb10934569dd4c6ef12753a1637351commit | diff
added support for turning off debugging sections
palacios/build/Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project