From e52cf7ae004390242ff69be02fd4d4d4add9dc74 Mon Sep 17 00:00:00 2001
From: David Tomaschik <david@systemoverlord.com>
Date: Wed, 3 Oct 2018 05:45:07 -0700
Subject: [PATCH] Add ptf to install_tool.

---
 bin/install_tool | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bin/install_tool b/bin/install_tool
index 7b18703..350fec8 100755
--- a/bin/install_tool
+++ b/bin/install_tool
@@ -213,6 +213,10 @@ case ${TOOL} in
     chmod +x ${DESTDIR}/apktool
     add_bin_symlink apktool
     ;;
+  ptf)
+    src="https://github.com/trustedsec/ptf.git"
+    git clone ${src} ${DESTDIR}
+    ;;
   *)
     echo "Unknown tool: ${TOOL}" >/dev/stderr
     exit 1