diff --git a/.travis.yml b/.travis.yml index 44b9aab6b9..b0b1da1506 100644 --- a/.travis.yml +++ b/.travis.yml @@ -24,6 +24,7 @@ env: - BOINC_TYPE=libs - BOINC_TYPE=server - BOINC_TYPE=client + - BOINC_TYPE=apps #- BOINC_TYPE=manager #- BOINC_TYPE=coverity @@ -47,6 +48,7 @@ script: - if [[ "${BOINC_TYPE}" == "libs" ]]; then ( ./configure --disable-server --disable-client --disable-manager && make ) fi - if [[ "${BOINC_TYPE}" == "server" ]]; then ( ./configure --disable-client --disable-manager && make ) fi - if [[ "${BOINC_TYPE}" == "client" ]]; then ( ./configure --disable-server --disable-manager && make ) fi +- if [[ "${BOINC_TYPE}" == "apps" ]]; then ( ./configure --enable-apps --disable-server --disable-client --disable-manager && make ) fi - if [[ "${BOINC_TYPE}" == "manager" ]]; then ( ./configure --disable-server --disable-client && make ) fi addons: