genlib(libname,dirname, %T) works only if the file "lib" does not exist.
@sgougeon)
Reported by Samuel GOUGEON (BUG DESCRIPTION:
----------------
Even with the force=%t flag, genlib() does nothing if a "lib" file already exists in the targeted directory.
After deleting "lib", genlib() works as expected.
ERROR LOG:
----------
none. Wrong behavior