Дополнительно удалить то что было создано командой configure в Linux

$ make distclean

Читайте также:  Команды для мониторинга и отладки в Linux