projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ca0f92) | patch
add new option "-robustroot" to enable setting up ROBUSTROOT. Defaulty it is set...
authorjzhou <jzhou>
Tue, 15 Apr 2008 21:23:49 +0000 (21:23 +0000)
committerjzhou <jzhou>
Tue, 15 Apr 2008 21:23:49 +0000 (21:23 +0000)
commitb7fd65bd9137b9659345895af7630f0fc77af5c6
tree99684387093ddc6d023f08833cd503714886f841tree | snapshot
parent9ca0f92600e8db7230af657c202451e98226399bcommit | diff
add new option "-robustroot" to enable setting up ROBUSTROOT. Defaulty it is set as ~/research/Robust/src.
Robust/src/buildscript diff | blob | history
Irvine Research Compiler