From 77a975a7ee2b599149dfb7210df7a54243f6cec8 Mon Sep 17 00:00:00 2001
From: Pedro Algarvio <pedro@algarvio.me>
Date: Fri, 27 Sep 2013 23:19:54 +0100
Subject: [PATCH] Fix bashism.

---
 bootstrap-salt.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap-salt.sh b/bootstrap-salt.sh
index b48dd0e..284d145 100755
--- a/bootstrap-salt.sh
+++ b/bootstrap-salt.sh
@@ -1250,7 +1250,7 @@ __enable_universe_repository() {
 
 install_ubuntu_deps() {
     apt-get update
-    if [ $DISTRO_MAJOR_VERSION -gt 12 ] || [ $DISTRO_MAJOR_VERSION -eq 12 -a $DISTRO_MINOR_VERSION -eq 10 ]; then
+    if [ $DISTRO_MAJOR_VERSION -gt 12 ] || [ $DISTRO_MAJOR_VERSION -eq 12 && $DISTRO_MINOR_VERSION -eq 10 ]; then
         # Above Ubuntu 11.10 add-apt-repository is in a different package
         __apt_get_install_noinput software-properties-common || return 1
     else