diff --git a/depinst/depinst.py b/depinst/depinst.py index 1198c1d..4a97074 100644 --- a/depinst/depinst.py +++ b/depinst/depinst.py @@ -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: