From 9b6d2cb1830e65c08c833e6c2faf033b18a45322 Mon Sep 17 00:00:00 2001 From: Martin Blazik Date: Mon, 31 May 2021 14:31:43 +0200 Subject: [PATCH] GWS free/licensed flag --- bin/gws | 3 +++ 1 file changed, 3 insertions(+) diff --git a/bin/gws b/bin/gws index 3179ac6..be90a33 100755 --- a/bin/gws +++ b/bin/gws @@ -34,6 +34,9 @@ shortcuts = { '-rr': ['--rerun-tasks'], '-wl': ['--write-locks'], '-rt': ['--rerun-tasks'], + '-ef': ['-Penvironment=free'], + '-el': ['-Penvironment=licensed'], + '-lic': ['-Penvironment=licensed'] } optionsWithArgument = {'-x', '-b', '-c', '-g', '-p', '-D', '-I', '-P'}