-
Kirk Webb authored
the defs file when PLABSUPPORT=1 or an error is raised by configure. Whenever the official rootball name/version needs do be bumped, do so in defs-default. You may track the defs-default rootball name in your defs file, or use your own divergent name for testing.
b09e0ca9