On 12/13/22 01:16, Sean Christopherson wrote:
Use $(wildcard ...) to find the library source files instead of manually defining the inputs, which is a maintenance burden and error prone.
No, please don't. This leads to weird errors, for example when "git checkout" is interrupted with ^C. I have applied patches 1-11.
Paolo _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
