#!/bin/bash

./configure.tcsh $*
