am a62334ed: Merge "Add "WITH_SYNTAX_CHECK=1 make ...""

* commit 'a62334edaf9f52dbed3264cda2247f4e5ea7de06':
  Add "WITH_SYNTAX_CHECK=1 make ..."