X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=b71ca1fabc1dfcad09bb3adf3686234908de71c9;hb=0135dc8b4e91886b0e9f5c3e1c3e973d9ee575c7;hp=dafba2b52312d68132f660a4131fd41600b24737;hpb=6dcf2bc367acf876636e1a9542663bd95d28cf8c;p=openvswitch

diff --git a/Makefile.am b/Makefile.am
index dafba2b5..b71ca1fa 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -211,6 +211,11 @@ install-data-local: $(INSTALL_DATA_LOCAL)
 uninstall-local: $(UNINSTALL_LOCAL)
 .PHONY: $(DIST_HOOKS) $(CLEAN_LOCAL) $(INSTALL_DATA_LOCAL) $(UNINSTALL_LOCAL)
 
+modules_install:
+if LINUX_ENABLED
+	cd datapath/linux && $(MAKE) modules_install
+endif
+
 include lib/automake.mk
 include ofproto/automake.mk
 include utilities/automake.mk