Do not install an essential (e.g. config) if it's the library argument

2026-07-21 13:13:31 +00:00 · 2026-07-08 21:31:46 +03:00
parent c5fd7c9de9
commit fbc2fc704e
1 changed files with 3 additions and 0 deletions
@@ -267,6 +267,9 @@ if( __name__ == "__main__" ):

    essentials = [ 'config', 'headers', '../tools/boost_install', '../tools/build', '../tools/cmake' ]

+    if args.library in essentials:
+        essentials.remove( args.library )
+
    essentials = [ e for e in essentials if os.path.exists( 'libs/' + e ) ]

    if args.update: