> > Not exactly. With short a make I was a referring to a run that does not > take > more than few minutes and with a long a make I was referring to a run > that may take an hour. Ah, sorry for misinterpreting it. I'll try to spend more time on it. > Note that "make clean" clears the output but the source files may still > be in the page-cache (if they were loaded into the cache by a previous > run). Noted. Thank you. /kashyap -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html