#!/bin/sh

set -eu

. /usr/share/geordi/_functions

Echo_info "Setting defaults"

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

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