diff options
author | Frediano Ziglio <fziglio@redhat.com> | 2018-10-21 08:12:48 +0100 |
---|---|---|
committer | Frediano Ziglio <fziglio@redhat.com> | 2018-10-21 08:12:48 +0100 |
commit | 95e3728dbb2a91e08b2f9f394cec6399d8e7d6e2 (patch) | |
tree | 6a6daf9e0a32c83542507cc9a24b7b1accaf7cd7 | |
parent | b6ded0122c02dd113acaa4bc2db562cf523945ff (diff) |
Do not accept invalid COMPILE settings
Signed-off-by: Frediano Ziglio <fziglio@redhat.com>
-rwxr-xr-x | spice-server/rebase | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/spice-server/rebase b/spice-server/rebase index db56751..fe350ed 100755 --- a/spice-server/rebase +++ b/spice-server/rebase @@ -77,9 +77,13 @@ get_id() { COMPILE=${COMPILE:=no} export COMPILE -if [ $COMPILE != yes -a $COMPILE != full ]; then - COMPILE=no -fi +case $COMPILE in +yes | full | no ) + ;; +* ) + error "$COMPILE option not supported" + ;; +esac failed='' failed_compile='' processed='' |