From 4d7f1dec01bdbca32e91cc98f5d897b080e22946 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Mon, 19 Nov 2018 14:14:45 -0800 Subject: [PATCH] rename zebra.py to zebra_sat.py --- examples/python/{zebra.py => zebra_sat.py} | 0 makefiles/Makefile.python.mk | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename examples/python/{zebra.py => zebra_sat.py} (100%) diff --git a/examples/python/zebra.py b/examples/python/zebra_sat.py similarity index 100% rename from examples/python/zebra.py rename to examples/python/zebra_sat.py diff --git a/makefiles/Makefile.python.mk b/makefiles/Makefile.python.mk index 9e7b03b26e..8054ff9546 100755 --- a/makefiles/Makefile.python.mk +++ b/makefiles/Makefile.python.mk @@ -734,7 +734,7 @@ test_python_python: \ rpy_vrp \ rpy_wedding_optimal_chart_sat \ rpy_worker_schedule_sat \ - rpy_zebra + rpy_zebra_sat $(MAKE) run SOURCE=examples/python/shift_scheduling_sat ARGS="--params max_time_in_seconds:10.0" \