#!/bin/bash

TOOLCHAIN_DIR=$(head -n 1 /etc/kos32-gcc/install-path)

MESSAGE="PATH=\$PATH:$TOOLCHAIN_DIR/win32/bin"

if  grep -q '$MESSAGE' /etc/profile; then
	sudo sed -i '/$MESSAGE/d' /etc/profile
fi

rm /etc/kos32-gcc -R