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.


minor changes to allow proper static linking of the ncurses programs
authorPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 17 Jan 2012 17:54:07 +0000 (10:54 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 17 Jan 2012 17:54:07 +0000 (10:54 -0700)
commitce455c053ec3bc5fe653732919a06dcaf4a94811
tree39e89d9f32c56fda5081caf5c03128a3b66881e5
parent635a17215f8c66fa9ef54a7bb2cef6c709ddf523
minor changes to allow proper static linking of the ncurses programs
linux_usr/Makefile