OSDN Git Service

It looks like I lost DEVEL_TOOL_PREFIX. Put it back.
authorEric Andersen <andersen@codepoet.org>
Sat, 2 Nov 2002 01:47:55 +0000 (01:47 -0000)
committerEric Andersen <andersen@codepoet.org>
Sat, 2 Nov 2002 01:47:55 +0000 (01:47 -0000)
commitdff97f8d424755c568312ca3ddd8cd808280e7d8
treeaffbe335258d97e906f9cd21b1444ae7fc0ebf63
parentf9d08b172a7a06eeebc018c90e13f5221d9bde16
It looks like I lost DEVEL_TOOL_PREFIX.  Put it back.
 -Erik
extra/Configs/Config.in