#!/bin/sh

set -eu

. /usr/share/geordi/_functions

info "Setting default files"


debug "Truncating existing files"
for FILE in t.s t.o t lock;
do
	echo > "${RT}/${FILE}"
done

debug "Setting default t.cpp"
echo "#include \"prelude.h\"\nGEORDI_PRINT_PRE 9 GEORDI_PRINT_POST" > "${RT}/t.cpp"
