#!/bin/sh
# delete derived files produced during INSTALL of the Odin system

rm -f pkg/odin/*.o pkg/odin/*/*.o pkg/*/*.exe
rm -rf ODINBOOT bin lib man
rm -f pkg/config/config.cache pkg/config/config.log pkg/config/config.status
cp pkg/config/boot.sh.orig pkg/config/boot.sh
cp pkg/config/config.dg.orig pkg/config/config.dg
cp pkg/config/config.h.orig pkg/config/config.h

exit 0
