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