diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-10-02 18:56:27 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-02 18:56:27 +0300 |
| commit | 451b3fac158ca3586a149fa64fe10f86ec140a43 (patch) | |
| tree | 01738484d7222e3b637e17142bea18152f504166 /configure | |
| parent | cb2769b8b3b18c90b017f600654ce494ff260f9f (diff) | |
| parent | b4f015cb31ec2cb60c45b22bd17e0e05fcd6be41 (diff) | |
| download | hercules-451b3fac158ca3586a149fa64fe10f86ec140a43.tar.gz hercules-451b3fac158ca3586a149fa64fe10f86ec140a43.tar.bz2 hercules-451b3fac158ca3586a149fa64fe10f86ec140a43.tar.xz hercules-451b3fac158ca3586a149fa64fe10f86ec140a43.zip | |
Merge pull request #1453 from HerculesWS/gitlab
Added GitLab CI configuration
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -2196,6 +2196,8 @@ ac_config_files="$ac_config_files src/test/Makefile" ac_config_files="$ac_config_files tools/HPMHookGen/Makefile" +ac_config_files="$ac_config_files tools/doxygen/Makefile" + ac_ext=c ac_cpp='$CPP $CPPFLAGS' @@ -10220,6 +10222,7 @@ do "src/tool/Makefile") CONFIG_FILES="$CONFIG_FILES src/tool/Makefile" ;; "src/test/Makefile") CONFIG_FILES="$CONFIG_FILES src/test/Makefile" ;; "tools/HPMHookGen/Makefile") CONFIG_FILES="$CONFIG_FILES tools/HPMHookGen/Makefile" ;; + "tools/doxygen/Makefile") CONFIG_FILES="$CONFIG_FILES tools/doxygen/Makefile" ;; *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;; esac |