X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=include%2Fautomake.mk;h=9ec5b72ed4c415f002781bfd575f7a78dddf836c;hb=b063d9f0;hp=5c07a6aacb2c2c00955c7e64a8a19d7b3265c505;hpb=bb65383a57455d194927ba540ff0bbe23c7c054f;p=openvswitch diff --git a/include/automake.mk b/include/automake.mk index 5c07a6aa..9ec5b72e 100644 --- a/include/automake.mk +++ b/include/automake.mk @@ -1,3 +1,3 @@ -include include/linux/automake.mk include include/openflow/automake.mk include include/openvswitch/automake.mk +include include/sparse/automake.mk