From 1999ccca4ae455088c22fc044ade4c0af8b473ed Mon Sep 17 00:00:00 2001 From: Michael Elkins Date: Mon, 29 Nov 2010 21:29:05 +0000 Subject: fix default location of $top on work0 svn path=/portal-gui/build.sh; revision=3567 --- portal-gui/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'portal-gui') 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 -- cgit v1.2.3