Changes between Initial Version and Version 1 of Ticket #6620, comment 1


Ignore:
Timestamp:
Mar 8, 2023, 7:15:36 PM (3 years ago)
Author:
Balling

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #6620, comment 1

    initial v1  
    11Is this a bad idea or what?
     2
     3>Given that this works fine on wsl (where configure runs much faster) I don't think a change is necessary.
     4
     5Wsl is linux for all purposes.