Skip to content

Commit

Permalink
Don't run with docker with terminal when using json interface.
Browse files Browse the repository at this point in the history
  • Loading branch information
jim-carciofini committed Feb 10, 2024
1 parent c29b3a0 commit 3ba4d98
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion demos/nov-2023/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,12 @@ ifdef json
endif

ifdef docker
PATE=docker run --rm -it -v .:/work --workdir=/work pate $(JSON_FLAG)
ifdef json
# Don't run with terminal when using json interface
PATE=docker run --rm -i -v .:/work --workdir=/work pate $(JSON_FLAG)
else
PATE=docker run --rm -it -v .:/work --workdir=/work pate $(JSON_FLAG)
endif
else
PATE=../../pate.sh $(JSON_FLAG)
endif
Expand Down

0 comments on commit 3ba4d98

Please sign in to comment.