summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2016-10-19 22:57:02 -0400
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2016-10-20 01:42:56 -0400
commitfe9d97c673e6e2c0c39147582547a89e217bfcdb (patch)
treefa3611288fc4ec25be16e759d521e8753dedf476
parenta5e739a570081231eccb5a01a2b891f8bbaa86ba (diff)
build-sys: show configure and make commands
And also hide make clean output which is very verbose and not particularly interesting.
-rwxr-xr-xautogen.sh13
1 files changed, 9 insertions, 4 deletions
diff --git a/autogen.sh b/autogen.sh
index 82ebb57db1..fa8d2916ad 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -66,18 +66,23 @@ args="$args $@"
cd $oldpwd
if [ "$verb" = "c" ]; then
+ set -x
$topdir/configure CFLAGS='-g -O0 -ftrapv' $args
- make clean
+ make clean >/dev/null
elif [ "$verb" = "g" ]; then
+ set -x
$topdir/configure CFLAGS='-g -Og -ftrapv' $args
- make clean
+ make clean >/dev/null
elif [ "$verb" = "a" ]; then
+ set -x
$topdir/configure CFLAGS='-g -O0 -Wsuggest-attribute=pure -Wsuggest-attribute=const -ftrapv' $args
- make clean
+ make clean >/dev/null
elif [ "$verb" = "l" ]; then
+ set -x
$topdir/configure CC=clang CFLAGS='-g -O0 -ftrapv' $args
- make clean
+ make clean >/dev/null
elif [ "$verb" = "s" ]; then
+ set -x
scan-build $topdir/configure CFLAGS='-std=gnu99 -g -O0 -ftrapv' $args
scan-build make
else