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.


Revert to use of -O instead of -O2 to be more compatible
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 24 Jan 2011 18:46:28 +0000 (12:46 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Mon, 24 Jan 2011 18:46:28 +0000 (12:46 -0600)
commit6955900236db1de92ce4e62aea31b5167e380982
treea0de563293dc74faac6466e3dbe0444fee7bb978
parentf934d7e0a47a4080472c04c3f9d78c707cfdb6fa
Revert to use of -O instead of -O2 to be more compatible
with older gccs.   -O2 breaks on 4.1.2 (RHEL5 std compiler)
Makefile