#!/bin/sh
build sys/src/9/amd64 && \
	cp sys/src/9/amd64/harvey.32bit /var/lib/tftpboot && \
	echo "OK" &&  \
	exit


# sudo service isc-dhcp-server restart && echo "OK" && exit


echo " IT WENT WRONG"