diff options
| author | Wu Xiaotian <[email protected]> | 2019-02-02 22:34:32 +0800 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-02-03 10:34:42 +0100 |
| commit | 43fd38df9bf6b8f4070f86115c52c8c58fde04d5 (patch) | |
| tree | 281272394351a90a63f7d5be77916c2f91aeba72 | |
| parent | 5dda92eaa887a79d9a88aea4aab8e9df8a045396 (diff) | |
| download | mate-control-center-43fd38df9bf6b8f4070f86115c52c8c58fde04d5.tar.bz2 mate-control-center-43fd38df9bf6b8f4070f86115c52c8c58fde04d5.tar.xz | |
Add -Werror=format-security and show make distcheck failed with color
| -rw-r--r-- | .travis.yml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index a3857bbf..65431003 100644 --- a/.travis.yml +++ b/.travis.yml @@ -129,12 +129,12 @@ requires: - yelp-tools variables: - - CFLAGS="-Wall" + - CFLAGS="-Wall -Werror=format-security" before_scripts: # These scripts should keep silent. - cd ${START_DIR} - - "[ -f mate-desktop-1.21.2.tar.xz ] || curl -Ls -o mate-desktop-1.21.2.tar.xz http://pub.mate-desktop.org/releases/1.21/mate-desktop-1.21.2.tar.xz" + - '[ -f mate-desktop-1.21.2.tar.xz ] || curl -Ls -o mate-desktop-1.21.2.tar.xz http://pub.mate-desktop.org/releases/1.21/mate-desktop-1.21.2.tar.xz' - tar xf mate-desktop-1.21.2.tar.xz - cd mate-desktop-1.21.2 - if [ ${DISTRO_NAME} == "debian" -o ${DISTRO_NAME} == "ubuntu" ];then ./configure --prefix=/usr --libdir=/usr/lib/x86_64-linux-gnu --libexecdir=/usr/lib/x86_64-linux-gnu >/dev/null 2>&1; else ./configure --prefix=/usr >/dev/null 2>&1; fi @@ -150,7 +150,7 @@ before_scripts: - make install > /dev/null 2>&1 - cd ${START_DIR} - - "[ -f mate-settings-daemon-1.21.2.tar.xz ] || curl -Ls -o mate-settings-daemon-1.21.2.tar.xz http://pub.mate-desktop.org/releases/1.21/mate-settings-daemon-1.21.2.tar.xz" + - '[ -f mate-settings-daemon-1.21.2.tar.xz ] || curl -Ls -o mate-settings-daemon-1.21.2.tar.xz http://pub.mate-desktop.org/releases/1.21/mate-settings-daemon-1.21.2.tar.xz' - tar xf mate-settings-daemon-1.21.2.tar.xz - cd mate-settings-daemon-1.21.2 - if [ ${DISTRO_NAME} == "debian" -o ${DISTRO_NAME} == "ubuntu" ];then ./configure --prefix=/usr --libdir=/usr/lib/x86_64-linux-gnu --libexecdir=/usr/lib/x86_64-linux-gnu >/dev/null 2>&1; else ./configure --prefix=/usr >/dev/null 2>&1; fi @@ -158,5 +158,6 @@ before_scripts: - make install > /dev/null 2>&1 after_scripts: - # Just look at the error output and return 0 if it fails. - - make distcheck || true > /dev/null + - make distcheck > /dev/null + # Just look at the error output and return 0 always. + - 'if [ $? -ne 0 ];then RED="\033[0;31m"; NC="\033[0m"; printf "${RED}!!! ERROR: Run make distcheck failed.${NC}\n"; fi' |