commit fe0d014d49e2ea8d380ad7d8bbead28cf5db2cc1
author Eric Newberry <enewberry@cs.arizona.edu> Wed Nov 29 13:22:48 2017 -0700
committer Eric Newberry <enewberry@cs.arizona.edu> Sat Dec 23 22:49:52 2017 -0700
tree c487bb5d0d2e0542e76fb77f5516fb5c07b4f97f
parent 608211e96a436b289a07ad9d4279e211f0b9fc1f

allow packages to be provided locally or fetched from alternate branches

refs #1895

Change-Id: Idae33f3af5091413c915c5081d505bacea957c5d

install_helpers/install_infoedit.sh

diff --git a/install_helpers/install_infoedit.sh b/install_helpers/install_infoedit.sh
new file mode 100755
index 0000000..bad7360
--- /dev/null
+++ b/install_helpers/install_infoedit.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+echo
+echo "INSTALLING infoedit"
+echo "*******************"
+
+cd prepare
+git clone --depth 1 https://github.com/NDN-Routing/infoedit.git
+cd infoedit
+make
+sudo make install