From 652aae5d7117bd8eaee3057476ecf586fc93e7cd Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Mon, 10 Dec 2018 17:18:17 +0100 Subject: [PATCH] Fixup Makefile in archive --- tools/Makefile.cc.java.dotnet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/Makefile.cc.java.dotnet b/tools/Makefile.cc.java.dotnet index b72d681126..b221c57d72 100644 --- a/tools/Makefile.cc.java.dotnet +++ b/tools/Makefile.cc.java.dotnet @@ -262,7 +262,7 @@ $(BIN_DIR)/magic_square_sat$E \ $(BIN_DIR)/max_flow$E \ $(BIN_DIR)/min_cost_flow$E \ $(BIN_DIR)/mps_driver$E \ -$(BIN_DIR)/network_routing$E \ +$(BIN_DIR)/network_routing_sat$E \ $(BIN_DIR)/nqueens$E \ $(BIN_DIR)/random_tsp$E \ $(BIN_DIR)/pdptw$E \