fix make.sh --dynamic-space-size option handling
authorManfred Gahr <no-email>
Mon, 5 Dec 2011 21:37:53 +0000 (23:37 +0200)
committerNikodemus Siivola <nikodemus@random-state.net>
Mon, 5 Dec 2011 21:42:48 +0000 (23:42 +0200)
commit035264731ec0429cc8f9985f5ad59c7ee70e9132
tree3736dbeaba3165691a48ac0623fec6076007ec88
parentd1942842cebf682ea4161792b2920eec7ccfe179
fix make.sh --dynamic-space-size option handling

 !CONFIGURE-DYNAMIC-SPACE-END actually ignored the number it read.
src/compiler/generic/parms.lisp