From abe517027ca7c557932fe3f7458ceae64120554c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pedro=20Gon=C3=A7alves?= <pedro@lsts.pt>
Date: Fri, 31 Jul 2020 12:45:09 +0100
Subject: [PATCH] docker/Makefile: fix bash style.

---
 docker/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Makefile b/docker/Makefile
index 7b011d2..8c26106 100644
--- a/docker/Makefile
+++ b/docker/Makefile
@@ -23,7 +23,7 @@
 TAG     := glued
 VERSION := 2020.07.24
 VOLUME  := $(CURDIR)/..
-DNS	:= 8.8.8.8
+DNS     := 8.8.8.8
 
 all:
 	docker build -t $(TAG):$(VERSION) .