GWS free/licensed flag

2021-05-31 14:31:43 +02:00
parent c74f1b078e
commit 9b6d2cb183
1 changed files with 3 additions and 0 deletions
--- 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'}