diff options
| author | Michael Elkins <melkins@tislabs.com> | 2010-11-29 21:29:05 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2010-11-29 21:29:05 +0000 |
| commit | 1999ccca4ae455088c22fc044ade4c0af8b473ed (patch) | |
| tree | 5e2235fefadf5290a79c70b9a574b5021f20e679 /portal-gui | |
| parent | 34b8165ec136089448f00fdf57936abf62a1ecad (diff) | |
fix default location of $top on work0
svn path=/portal-gui/build.sh; revision=3567
Diffstat (limited to 'portal-gui')
| -rwxr-xr-x | portal-gui/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portal-gui/build.sh b/portal-gui/build.sh index 7591d45e..4e86f2ec 100755 --- a/portal-gui/build.sh +++ b/portal-gui/build.sh @@ -34,7 +34,7 @@ CONFDIR=/usr/local/etc/rpki # This is the directory containing the myrpki.py command line script. You # can either install it somewhere on your system, or just run it out of # wherever you checked out from the svn repo -MYRPKI_SOURCE_DIR=/usr/local/src/subvert-rpki.hactrn.net/rpkid +MYRPKI_SOURCE_DIR=/usr/local/src/net/subvert-rpki.hactrn.net/rpkid # The user that the apache process is run as. This is required to set # permissions on the directories/files that the portal-gui needs to be able to |