From 50118d17b6909a33f66d366b88b949f1ba4fc5f6 Mon Sep 17 00:00:00 2001
From: Joshua Saxby <joshua.a.saxby@gmail.com>
Date: Fri, 29 Nov 2019 12:04:00 +0000
Subject: [PATCH] Add additional useful scripts to make dev work less painful

---
 make_the_things | 13 +++++++++++++
 setup_path      |  4 ++++
 2 files changed, 17 insertions(+)
 create mode 100755 make_the_things
 create mode 100755 setup_path

diff --git a/make_the_things b/make_the_things
new file mode 100755
index 0000000..d008616
--- /dev/null
+++ b/make_the_things
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+
+# I (Josh) really don't like having to dance around from directory
+# to directory running `make`, so here's a shell script which makes
+# everything in turn automatically.
+
+for DIR in threads userprog vm filesys examples; do
+	cd $DIR;
+	make -j 9;
+	cd ..;
+done;
+
diff --git a/setup_path b/setup_path
new file mode 100755
index 0000000..cbe2e1c
--- /dev/null
+++ b/setup_path
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+export PATH=$PATH:$(pwd)/utils;
+
-- 
GitLab