CentOS builds are broken (#12)

Fixes #11
titan-data · Sep 10, 2019 · f7d1873 · f7d1873
1 parent 2c38f0c
commit f7d1873
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/centos.sh b/src/centos.sh
@@ -20,7 +20,7 @@
 #
 function build() {
     local centos_release
-    if [[ -f /config/centos-release ]]
+    if [[ -f /config/centos-release ]]; then
         centos_release=$(cat /config/centos-release)
     else
         centos_release=$(nsenter -t 1 -m cat /etc/centos-release)