X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=include%2Fopenflow%2Fautomake.mk;h=38e8eefd16613ca769d642b9ccbb6197dcbdfb30;hb=74f868c624b8140739d2c4d84bdf8c2c9623a356;hp=4b7bc07fdc53612303ec0a36b4be1e7ee00ff32f;hpb=6b05acf8171a3fdb4f55a12f8af55cc25f222657;p=openvswitch

diff --git a/include/openflow/automake.mk b/include/openflow/automake.mk
index 4b7bc07f..38e8eefd 100644
--- a/include/openflow/automake.mk
+++ b/include/openflow/automake.mk
@@ -10,7 +10,7 @@ if HAVE_PYTHON
 SUFFIXES += .h .hstamp
 
 .h.hstamp:
-	$(PYTHON) $(srcdir)/build-aux/check-structs -I$(srcdir)/include $<
+	$(run_python) $(srcdir)/build-aux/check-structs -I$(srcdir)/include $<
 	touch $@
 
 HSTAMP_FILES = \