From: Brian Norris <banorris@uci.edu>
Date: Tue, 5 Mar 2013 03:51:49 +0000 (-0800)
Subject: Makefile: use $+ variable
X-Git-Tag: oopsla2013~159
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=56bd79d6fa2953585375f72cf061355fecd2c725;hp=56bd79d6fa2953585375f72cf061355fecd2c725;p=model-checker.git

Makefile: use $+ variable
---