commit 33a6ee15247583fa3148c426f9bbd51c1197d24c
author Junxiao Shi <git@mail1.yoursunny.com> Mon Dec 26 18:59:38 2016 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> Mon Dec 26 18:59:38 2016 +0000
tree 8eef49433b84cce65ba415f4bc17c0c43d4c4c7b
parent a990778f7bb471b8811dba7b33cc14a61ac4159b

install_helpers: install infoedit from GitHub

This commit also moves repository URL to be the last argument in every git clone command.

refs #3387

Change-Id: I7e90a928ca11a4f67c949fbc10fe1b4f54307dfc

install_helpers/install_ndntools.py

diff --git a/install_helpers/install_ndntools.py b/install_helpers/install_ndntools.py
index cf49556..9147a2b 100644
--- a/install_helpers/install_ndntools.py
+++ b/install_helpers/install_ndntools.py
@@ -5,7 +5,7 @@
 def run():
     print "\nINSTALLING ndn-tools"
     print "***********************"
-    os.system("git clone https://github.com/named-data/ndn-tools --depth 1")
+    os.system("git clone --depth 1 https://github.com/named-data/ndn-tools")
     os.chdir("ndn-tools")
     os.system("./waf distclean")
     os.system("./waf configure")