X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=include%2Fautomake.mk;h=f34e5c9bf8d4db21f2df9173b9a8743f20a2c313;hb=b4affc74175281b1300d879df56d8558bd553ea5;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