Debian patch tracking system
Makefile | 12 +++++++----- example/Makefile | 4 ++-- lib/Makefile | 2 +- solver/Makefile | 4 ++-- theta/Makefile | 4 ++-- 5 files changed, 14 insertions(+), 12 deletions(-)