NDN.p4中的两个patch文件：mini-ndn.patch和ndn_dir.patch 打补丁的过程

之前，一直卡在打补丁这个地方，今天好好把这个看一下：

仔细查看mini-ndn.patch和ndn_dir.patch文件

cd $MININDN_DIR; patch -p1 < $NDNP4_DIR/mini-ndn/mini-ndn.patch
cd $MININDN_DIR; patch -p1 < $NDNP4_DIR/mini-ndn/ndn_dir.patch

第一条指令中，patch -p1 <  patch文件，表示在当前目录下打一个补丁文件，-p1是忽略的"/"的个数。我看了一下mini-ndn.patch，它是对一个文件进行了diff操作，这个文件就是mini-ndn/bin目录下的minindn文件。

diff --git a/bin/minindn b/bin/minindn