From 5d010dbcc4ea07dcaa0aefad614bb448d644e1a8 Mon Sep 17 00:00:00 2001
From: jp7g21 <jp7g21@soton.ac.uk>
Date: Sat, 13 Nov 2021 12:57:21 +0000
Subject: [PATCH] Drake working

---
 drake/drake          | 15 +++++++++++++++
 drake/test1/Makefile |  9 +++++++++
 drake/test1/main.c   |  9 +++++++++
 drake/test1/stuff.c  |  7 +++++++
 4 files changed, 40 insertions(+)
 create mode 100755 drake/drake
 create mode 100644 drake/test1/Makefile
 create mode 100644 drake/test1/main.c
 create mode 100644 drake/test1/stuff.c

diff --git a/drake/drake b/drake/drake
new file mode 100755
index 0000000..cbe9ead
--- /dev/null
+++ b/drake/drake
@@ -0,0 +1,15 @@
+#!/bin/bash
+
+make "$@"
+res=$?
+
+if [ $res != 0 ]
+then
+    echo ":("
+else
+    echo ":)"
+fi
+
+exit $res
+
+	
diff --git a/drake/test1/Makefile b/drake/test1/Makefile
new file mode 100644
index 0000000..5a2cd02
--- /dev/null
+++ b/drake/test1/Makefile
@@ -0,0 +1,9 @@
+objs := main.o stuff.o
+
+main: $(objs)
+	cc main.o stuff.o -o main
+
+.PHONY: clean
+
+clean:
+	rm -f $(objs) main
diff --git a/drake/test1/main.c b/drake/test1/main.c
new file mode 100644
index 0000000..c576249
--- /dev/null
+++ b/drake/test1/main.c
@@ -0,0 +1,9 @@
+#include <stdio.h>
+
+int do_stuff(void);
+
+int main(void)
+{
+     do_stuff();
+     return 0;
+}
diff --git a/drake/test1/stuff.c b/drake/test1/stuff.c
new file mode 100644
index 0000000..3e633c2
--- /dev/null
+++ b/drake/test1/stuff.c
@@ -0,0 +1,7 @@
+#include <stdio.h>
+
+int do_stuff(void)
+{
+     printf("hello, world\n")
+     return 0;
+}
-- 
GitLab