diff make/Makefile @ 14904:162d8fe89017

Revert 3e9a8ef2e0e1.
author Josef Eisl <josef.eisl@jku.at>
date Mon, 31 Mar 2014 18:05:20 +0200
parents 4c9f24b8f002
children 4ca6dc0799b6
line wrap: on
line diff