1*1580a27bSrin# The host to log in and run the build. 2*1580a27bSrinhost=jolly.cs.hut.fi 3*1580a27bSrin 4*1580a27bSrin# (optional) The host where to copy the distribution and scripts. It 5*1580a27bSrin# seems that the scp subsystem is broken on jolly. 6*1580a27bSrinscp_host=earthquake.cs.hut.fi 7*1580a27bSrin 8*1580a27bSrin# (optional) The command to use instead of `make'. 9*1580a27bSrinmake=gmake 10*1580a27bSrinexport make 11*1580a27bSrin 12*1580a27bSrin# Any environment variables to set before building should go here. 13*1580a27bSrinCC=cc 14*1580a27bSrinexport CC 15