@terdon I closed one terminal( the one I ./configured in last is scanning an hdd for viruses) but since I've used this os for more than a year it is unlikely that I've not used ./configure in that time and closed the terminal afterwards. Still I opened an new one and ran the command again:
cat .bashrc | grep ./configure
, .... no output. I'm pretty sure I've compiled more than then the one program I compiled in the last five day's. —
somethingSomething 33 mins ago