diff options
| -rw-r--r-- | configure.com | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.com b/configure.com index 6bd3082503..be93b10de4 100644 --- a/configure.com +++ b/configure.com @@ -2825,7 +2825,10 @@ $ idx = idx + 1 $ goto replace_dash_with_slash $ $ end_replace_dash_with_slash: -$ +$! +$ IF extspec .EQS. "Scalar/List/Utils" THEN extspec = "List/Util" +$ IF extspec .EQS. "PathTools" THEN extspec = "Cwd" +$! $ xxx = xs_extensions $ gosub may_already_have_extension $ IF $STATUS .EQ. 1 |