#! /bin/sh

logfile=`basename $0 .sh`.log

build_it() {
    sh configure --enable-openjdk-only \
                 --disable-zip-debug-info --disable-debug-symbols \
                 --with-debug-level=release \
    && make profiles images docs
}

build_it 2>&1 | tee -a $logfile