diff options
| author | Michael Elkins <melkins@tislabs.com> | 2010-07-08 16:22:31 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2010-07-08 16:22:31 +0000 |
| commit | 5272332c6f1ae1b4cb526e98facdd73dcf0b4e38 (patch) | |
| tree | aedceaaae4b0d6ea84d8a2568e47c70de6aa0370 /rpkid/rpki/resource_set.py | |
| parent | d3e7b08893cdbb90676b58b1b88ec4b2129534f3 (diff) | |
make configure output additional info about installation paths for debugging
automatically set the proper paths in django.wsgi
use $INSTDIR for referring to installed portal-gui sources
svn path=/portal-gui/Makefile.in; revision=3365
Diffstat (limited to 'rpkid/rpki/resource_set.py')
0 files changed, 0 insertions, 0 deletions