tree bd5811f16ea81b0c9424f68a72acb9ab9a6f5262
parent d9cb729c2395236a46de96dfea9796eade08bd0e
author pierventre <pier@opennetworking.org> 1597089926 +0200
committer pierventre <pier@opennetworking.org> 1597089926 +0200

Minor fix for make help

Change-Id: I1607b53333dd4661d44e1101ce4f416906a1152e