diff options
Diffstat (limited to 'tools/offsets-tool-py/Makefile')
-rw-r--r-- | tools/offsets-tool-py/Makefile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/offsets-tool-py/Makefile b/tools/offsets-tool-py/Makefile deleted file mode 100644 index 5c331b06887..00000000000 --- a/tools/offsets-tool-py/Makefile +++ /dev/null @@ -1,9 +0,0 @@ -ACTIVATE=offtool/bin/activate - -setup: $(ACTIVATE) - -$(ACTIVATE): - python3 -m pip install --user virtualenv - # `virtualenv` might not end up in $PATH - python3 -m virtualenv offtool - |