comparison src/gmp.mk @ 2987:eb1643bd900c

mk-dist: new argument, --no-strip
author John W. Eaton <jwe@octave.org>
date Thu, 16 May 2013 13:32:37 -0400
parents 47558e958113
children 100e618349f7
comparison
equal deleted inserted replaced
2986:d198aea15b35 2987:eb1643bd900c