$ while make -j5 clean all; do :; done

will eventually fail in make all due to target files not found. The
files differ from failure to failure.

$ while make clean && make -j5 all; do :; done

works fine in the very same source tree. Happens on two different dual
core PCs and different filesystems. I have not yet tested if any other
linux versions are affected.

(This has to be a known issue; isn't it?)
Stefan Richter
-=====-==--- --== ==-=-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
More majordomo info at
Please read the FAQ at