diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-05-01 23:13:04 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-05-01 23:13:04 +0300 |
commit | 97b30eda6487c6a7fb7db61dc7af2b0ea006d71d (patch) | |
tree | 471fecfa181585750c78e43f975b03962bd8449f /build.sh | |
parent | d66f863a4d2b31839b280af4146e9bad09835e23 (diff) | |
download | plugin-97b30eda6487c6a7fb7db61dc7af2b0ea006d71d.tar.gz plugin-97b30eda6487c6a7fb7db61dc7af2b0ea006d71d.tar.bz2 plugin-97b30eda6487c6a7fb7db61dc7af2b0ea006d71d.tar.xz plugin-97b30eda6487c6a7fb7db61dc7af2b0ea006d71d.zip |
Use extended sanity checks and gcc 5.
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -12,10 +12,12 @@ mkdir m4 autoreconf -i cd build if [[ "${CMD}" == "default" ]]; then + export CC=gcc-5 ../configure --enable-sanitize elif [[ "${CMD}" == "old" ]]; then ../configure elif [[ "${CMD}" == "gprof" ]]; then + export CC=gcc-5 ../configure --enable-gprof fi make -j3 |