From 35ae421ac1db52582882150e746f1533522576e3 Mon Sep 17 00:00:00 2001 From: Alibek Omarov Date: Sat, 27 Jul 2019 14:34:59 +0300 Subject: [PATCH] wscript: add shortened option for win-style-install --- wscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/wscript b/wscript index 54452851..79dd2717 100644 --- a/wscript +++ b/wscript @@ -50,7 +50,7 @@ def options(opt): grp.add_option('-8', '--64bits', action = 'store_true', dest = 'ALLOW64', default = False, help = 'allow targetting 64-bit engine') - grp.add_option('--win-style-install', action = 'store_true', dest = 'WIN_INSTALL', default = False, + grp.add_option('-W', '--win-style-install', action = 'store_true', dest = 'WIN_INSTALL', default = False, help = 'install like Windows build, ignore prefix, useful for development') grp.add_option('--enable-bsp2', action = 'store_true', dest = 'SUPPORT_BSP2_FORMAT', default = False,