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