From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Sat, 3 Mar 2018 21:50:32 +0000 (+0100)
Subject: Fix a Makefile cut&paste.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=9519ce291fda690a94b9790710600be4ba727640;hp=9519ce291fda690a94b9790710600be4ba727640;p=TD_SE.git

Fix a Makefile cut&paste.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---