#!/bin/tcsh
./if-$1/build.sh
