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.


fixed debug flags...
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 27 Jan 2009 20:46:00 +0000 (14:46 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 27 Jan 2009 20:46:00 +0000 (14:46 -0600)
commit8cd226e9445d54e8914ca71abdc233f8fb15d513
tree0e33f5806cb20353400e454aa7eadba6f090e591
parentda0f0deecf22754656bad2a95640461ec3ac4f1d
fixed debug flags...
palacios/build/Makefile