diff options
-rw-r--r-- | configure.com | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.com b/configure.com index 665ef4d4db..7354e497e2 100644 --- a/configure.com +++ b/configure.com @@ -6873,7 +6873,7 @@ $ Set Def &mydefault $ Goto next_ext $ done: $ sts = $Status -$ Set Def &def +$ Set Def &mydefault $ Exit sts $!-- make_ext.com $EndOfTpl$ |