Avoid use of the make -C option
commitcbac547adb96bbf309cf624af51c6f4a3c57b249
authorSven Verdoolaege <verdoolaege@gamma.math.uni-magdeburg.de>
Sun, 24 Aug 2008 09:31:37 +0000 (24 11:31 +0200)
committerSven Verdoolaege <verdoolaege@gamma.math.uni-magdeburg.de>
Sun, 24 Aug 2008 09:31:37 +0000 (24 11:31 +0200)
tree86dc3d4ff8d548ffa540d360f97290e727d21507
parentc907b60f7c2a0221c3f5fd2b70446a1d01a65cb5
Avoid use of the make -C option

Apparently, some makes don't support that option.
Makefile.am