From 4f35a3e7fc046de33a606813418386b1d7e7d5ed Mon Sep 17 00:00:00 2001
From: Timothy E Baldwin <T.E.Baldwin99@members.leeds.ac.uk>
Date: Fri, 25 Oct 2019 21:47:24 +0100
Subject: [PATCH] Define PARENT

This allows makefiles to refer to the parent directory in an OS-neutral way.
---
 GNUmakefiles/StdTools | 3 +++
 Makefiles/StdTools    | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/GNUmakefiles/StdTools b/GNUmakefiles/StdTools
index c0c2e2d..d4c9703 100644
--- a/GNUmakefiles/StdTools
+++ b/GNUmakefiles/StdTools
@@ -236,5 +236,8 @@ SEP       = /
 # Filename extension separator character
 EXT       = .
 
+# Parent directory
+PARENT    = ..
+
 
 # EOF
diff --git a/Makefiles/StdTools b/Makefiles/StdTools
index 95bc112..6f3f537 100644
--- a/Makefiles/StdTools
+++ b/Makefiles/StdTools
@@ -160,5 +160,8 @@ SEP       = .
 # Filename extension separator character
 EXT       = /
 
+# Parent directory
+PARENT    = ^
+
 
 # EOF
-- 
GitLab