X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=id-deb-build%2Fdocker-build.sh;fp=id-deb-build%2Fdocker-build.sh;h=f09202a546680aae38e520ba75885c04f1d9e4e3;hb=3a80eb155cc6f30b5542e11663cafbce1036a145;hp=bcacb66cfb0b46adb3e4ff78499d4282617ff3a4;hpb=97e63eddc775b8d1ebd9852261926360a5f46270;p=git-tools-moved-to-github.git

diff --git a/id-deb-build/docker-build.sh b/id-deb-build/docker-build.sh
index bcacb66..f09202a 100755
--- a/id-deb-build/docker-build.sh
+++ b/id-deb-build/docker-build.sh
@@ -17,8 +17,6 @@ centos_map()
 {
     dist=$1
     case $dist in
-	centos5)
-	    F=5;;
 	centos6)
 	    F=6;;
 	centos7)