Due to insufficient space in the disk, the command make binary could not complete at the last moment of its execution. I notice that this incomplete run has consumed a coupe of gigabytes of disk space. Is there a way to track down and delete the files/directories which were generated in this process to restore disk space?
After this failed run I notice that there are no images created under docker images . This is unlike the case of previous successful runs where I could delete the large sized docker images which were created as part of the binary building process.
Mentioning here that this issue is resolved. The post could not be withdrawn nor is there any provision to mark or flag it as solved. Hence, posting this reply to notify that this issue no longer exists.
Thanks.