#!/bin/sh -e function show_help () { cat <> $CONFIGURED_FILE shift ;; --disable-ccache) echo "ENABLE_CCACHE=" >> $CONFIGURED_FILE shift ;; --enable-ccache) if ! CCACHE=$(which ccache); then echo "Could not find ccache" else echo "ENABLE_CCACHE=1" >> $CONFIGURED_FILE echo "cache enabled" fi shift ;; --enable-xamarin) echo "ENABLE_XAMARIN=1" >> $CONFIGURED_FILE shift ;; --help|-h) show_help exit 0 ;; *) echo Unknown configure argument $1 >&2 shift ;; esac done