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: a54d166)
Prints last exit reason when handler fails
authorPeter Dinda <pdinda@northwestern.edu>
Wed, 2 Mar 2011 21:42:08 +0000 (15:42 -0600)
committerPeter Dinda <pdinda@northwestern.edu>
Wed, 2 Mar 2011 21:42:08 +0000 (15:42 -0600)
commit409dc0c9238788fb438e23e26015ce1999789764
tree9d857d23377cef5c187372d734fa78fd229fe653tree | snapshot
parenta54d166ba28dae8eb26498794bd5e94fc43267a3commit | diff
Prints last exit reason when handler fails
palacios/src/palacios/svm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project