#! /bin/sh if [ $# -gt 0 ]; then echo "configure [W]: The arguments passed to the configure script are" echo "configure [W]: ignored - there is nothing to change:" echo "configure [W]: $*" fi omake --configure .