Skip to content

Commit 3963518

Browse files
authored
Revert unwanted change to Makefile from previous commit (#639)
Signed-off-by: Andy Fingerhut <andy.fingerhut@gmail.com>
1 parent ffd07f2 commit 3963518

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

utils/Makefile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,10 +32,10 @@ endif
3232
all: run
3333

3434
run: build
35-
sudo PATH=$(PATH) ${P4GUIDE_SUDO_OPTS} python3 $(RUN_SCRIPT) -t $(TOPO) $(run_args)
35+
sudo python3 $(RUN_SCRIPT) -t $(TOPO) $(run_args)
3636

3737
stop:
38-
sudo PATH=$(PATH) `which mn` -c
38+
sudo mn -c
3939

4040
build: dirs $(compiled_json)
4141

0 commit comments

Comments
 (0)