Follow-up Comment #1, bug #46242 (project make): Clarification:
7. Go back to the terminal. make might have completed by now. If not, you might either -- if it has finished processing that file and is already working on another -- interrupt it, or wait for it to complete. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?46242> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make