From 9a4bd831142d00914c999c635dc9f9f50d2a6546 Mon Sep 17 00:00:00 2001
From: Bandie <bandie@chaospott.de>
Date: Thu, 29 Mar 2018 05:03:55 +0200
Subject: [PATCH] =?UTF-8?q?Travis=20CI=C2=B2?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Makefile  | 2 +-
 configure | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 configure

diff --git a/Makefile b/Makefile
index 2e2b361..f936dfd 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@
 
 all: 
 	mkdir -p bin
-	cc src/grub2-se-verifyserv.c -o bin/grub2-se-verifyserv
+	cc --std=c99 src/grub2-se-verifyserv.c -o bin/grub2-se-verifyserv
 
 install:
 	mkdir -p /usr/local/sbin
diff --git a/configure b/configure
old mode 100644
new mode 100755