diff options
| author | Michael Elkins <melkins@tislabs.com> | 2011-03-02 22:42:02 +0000 |
|---|---|---|
| committer | Michael Elkins <melkins@tislabs.com> | 2011-03-02 22:42:02 +0000 |
| commit | 573690587922bd27e6e126ffce4256b0b380c429 (patch) | |
| tree | a1202cc4484815c8112c45ee70ef15a371d2137f | |
| parent | c4cf3ef205eb83504d53528125f32655c4dfa3d2 (diff) | |
fixup configure to note new location of $top/rpkid/portal-gui/Makefile.in
svn path=/configure; revision=3706
| -rwxr-xr-x | configure | 4 | ||||
| -rw-r--r-- | configure.ac | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -4300,7 +4300,7 @@ fi done - ac_config_files="$ac_config_files portal-gui/Makefile" + ac_config_files="$ac_config_files rpkid/portal-gui/Makefile" fi @@ -5023,7 +5023,7 @@ do "pywrap/Makefile") CONFIG_FILES="$CONFIG_FILES pywrap/Makefile" ;; "rpkid/Makefile") CONFIG_FILES="$CONFIG_FILES rpkid/Makefile" ;; "rpkid/tests/Makefile") CONFIG_FILES="$CONFIG_FILES rpkid/tests/Makefile" ;; - "portal-gui/Makefile") CONFIG_FILES="$CONFIG_FILES portal-gui/Makefile" ;; + "rpkid/portal-gui/Makefile") CONFIG_FILES="$CONFIG_FILES rpkid/portal-gui/Makefile" ;; "rpkid/rpki/__doc__.py") CONFIG_FILES="$CONFIG_FILES rpkid/rpki/__doc__.py" ;; *) as_fn_error "invalid argument: \`$ac_config_target'" "$LINENO" 5;; diff --git a/configure.ac b/configure.ac index d7bdcf42..21ff7873 100644 --- a/configure.ac +++ b/configure.ac @@ -330,7 +330,7 @@ then # there is no standard name for this tool, so check for it AC_PATH_PROGS(DJANGO_ADMIN, [django-admin django-admin.py]) - AC_CONFIG_FILES([portal-gui/Makefile]) + AC_CONFIG_FILES([rpkid/portal-gui/Makefile]) fi # This should go away once its content has migrated from Doxygen into DocBook. |