comparison make-dist @ 91854:8b3a26bb8081

Don't set `args', it breaks gdb --args.
author Dan Nicolaescu <dann@ics.uci.edu>
date Fri, 15 Feb 2008 22:42:02 +0000
parents e062f74910e7
children 20ff5c172e35
comparison
equal deleted inserted replaced
91853:edeb1e24fc39 91854:8b3a26bb8081