Revert unwanted change to Makefile from previous commit (#639)

Signed-off-by: Andy Fingerhut <[email protected]>
p4lang · Oct 16, 2024 · 3963518 · 3963518
1 parent ffd07f2
commit 3963518
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/utils/Makefile b/utils/Makefile
@@ -32,10 +32,10 @@ endif
 all: run
 
 run: build
-	sudo PATH=$(PATH) ${P4GUIDE_SUDO_OPTS} python3 $(RUN_SCRIPT) -t $(TOPO) $(run_args)
+	sudo python3 $(RUN_SCRIPT) -t $(TOPO) $(run_args)
 
 stop:
-	sudo PATH=$(PATH) `which mn` -c
+	sudo mn -c
 
 build: dirs $(compiled_json)