diff make/defs.make @ 18683:823f499a247c

Store initial value (the value set in source code) of an option
author Christian Wimmer <christian.wimmer@oracle.com>
date Mon, 15 Dec 2014 11:32:59 -0800
parents 52b4284cb496
children 12e94cba3696
line wrap: on
line diff