
if ( "$TARGETHOST" == "none" ) then
   set TARGETHOST="localhost"
endif

# a rather hacky way of making the build exit here (before the actual configure etc)
exec /bin/true
