diff options
| author | Michael Elkins <melkins@tislabs.com> | 2011-01-21 01:08:24 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2011-01-21 01:08:24 +0000 |
| commit | a40b6081d591070a1fbc829b0851f5bc16a05b97 (patch) | |
| tree | b4956e175d0b46acd3945b5a3e0d8815ab935be3 /portal-gui | |
| parent | f667aeb2a42af39038fb10044405a6c02cc14531 (diff) | |
rebuild configure for myrpki.conf => rpki.conf change
svn path=/portal-gui/configure; revision=3622
Diffstat (limited to 'portal-gui')
| -rwxr-xr-x | portal-gui/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/portal-gui/configure b/portal-gui/configure index 1d58a97d..1d1126dc 100755 --- a/portal-gui/configure +++ b/portal-gui/configure @@ -1783,7 +1783,7 @@ ac_config_files="$ac_config_files Makefile" ac_config_files="$ac_config_files rpkigui/settings.py rpkigui/urls.py scripts/helper" -ac_config_files="$ac_config_files apache/django.wsgi apache/zmyrpki.conf" +ac_config_files="$ac_config_files apache/django.wsgi apache/zrpki.conf" cat >confcache <<\_ACEOF @@ -2489,7 +2489,7 @@ do "rpkigui/urls.py") CONFIG_FILES="$CONFIG_FILES rpkigui/urls.py" ;; "scripts/helper") CONFIG_FILES="$CONFIG_FILES scripts/helper" ;; "apache/django.wsgi") CONFIG_FILES="$CONFIG_FILES apache/django.wsgi" ;; - "apache/zmyrpki.conf") CONFIG_FILES="$CONFIG_FILES apache/zmyrpki.conf" ;; + "apache/zrpki.conf") CONFIG_FILES="$CONFIG_FILES apache/zrpki.conf" ;; *) as_fn_error "invalid argument: \`$ac_config_target'" "$LINENO" 5;; esac |