diff options
| author | Mike Vink <mike.vink@stater.nl> | 2023-05-01 17:41:22 +0200 |
|---|---|---|
| committer | Mike Vink <mike.vink@stater.nl> | 2023-05-01 17:41:22 +0200 |
| commit | 007da4c519aaf640811d96b546e144722e6e398b (patch) | |
| tree | 4c6c84342259c2ab0d1994bd42813f3d07ee297e /shell-scripts/compile | |
| parent | 66c69c98bbf01ca202cb29ace8f9654d1f2e5c1a (diff) | |
small fixes
Diffstat (limited to 'shell-scripts/compile')
| -rwxr-xr-x | shell-scripts/compile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shell-scripts/compile b/shell-scripts/compile index 59c4d60..90110bb 100755 --- a/shell-scripts/compile +++ b/shell-scripts/compile @@ -24,6 +24,7 @@ case "${@}" in ;; awx*) echo " \-> awx" + shift awx "$@" | filter-ansi ;; helm\ lint*) |