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.


Fix makefile
authorKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 20:52:29 +0000 (15:52 -0500)
committerKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 20:52:29 +0000 (15:52 -0500)
commit948685aac4ca2709c231d77c219e48136ce42644
tree282ed472282c12e666ca55d2f76fa1619177f1d9
parenta082ab2a20b41b67c9ecf81e69e50c0b0d37f49d
Fix makefile
build/Makefile