Commit 9908062b0ec99f33c10437fae4f80218e921f170

KangLin 2017-08-04T10:07:46

Fix: Getopt.h is checked only by WITH_TOOLS